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

Scrivi la tua prima recensione!

Fr. 408.70

Unknown, Author Unknown, J. van Leeuwen

FORMAL MODELS AND SEMANTICS

Inglese · Copertina rigida

Spedizione di solito entro 1 a 3 settimane (non disponibile a breve termine)

Descrizione

Ulteriori informazioni

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.

Dettagli sul prodotto

Autori Unknown, Author Unknown, J. van Leeuwen
Editore ELSEVIER SCIENCE BV
 
Lingue Inglese
Formato Copertina rigida
Pubblicazione 24.10.1990
 
EAN 9780444880741
ISBN 978-0-444-88074-1
Pagine 1280

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.