UNKNOWN, Author Unknown, J. van Leeuwen - FORMAL MODELS AND SEMANTICS

Schreibe die erste Bewertung!

Fr. 408.70

UNKNOWN, Author Unknown, J. van Leeuwen

FORMAL MODELS AND SEMANTICS

Englisch · Fester Einband

Versand in der Regel in 1 bis 3 Wochen (kurzfristig nicht lieferbar)

Beschreibung

Mehr lesen

Presents information on the theory of automata and rewriting systems, the foundations of modern programming languages and logics for program specification and verification. This work contains chapters on the theoretic modelling of advanced information processing.

Produktdetails

Autoren UNKNOWN, Author Unknown, J. van Leeuwen
Verlag ELSEVIER SCIENCE BV
 
Sprache Englisch
Produktform Fester Einband
Erschienen 24.10.1990
 
EAN 9780444880741
ISBN 978-0-444-88074-1
Seiten 1280

Kundenrezensionen

Zu diesem Artikel wurden noch keine Rezensionen verfasst. Schreibe die erste Bewertung und sei anderen Benutzern bei der Kaufentscheidung behilflich.

Schreibe eine Rezension

Top oder Flop? Schreibe deine eigene Rezension.

Für Mitteilungen an CeDe.ch kannst du das Kontaktformular benutzen.

Die mit * markierten Eingabefelder müssen zwingend ausgefüllt werden.

Mit dem Absenden dieses Formulars erklärst du dich mit unseren Datenschutzbestimmungen einverstanden.