Articoli correlati a Formal Models and Semantics: Volume B
Sinossi
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
Addressing the central areas of theoretical computer science, the handbook provides the student or professional with a comprehensive perspective on the main results and developments in this field. Consisting of 37 chapters, written by American and European researchers, it will be ideally suited for study and reference.
Current Awareness Bulletin
S. Bloom
The editor, Jan van Leeuwen, deserves high praise for a job well done.
Zentralblatt für Mathematik
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: molto buono1273 Seiten; 9780444880741.3 Gewicht...
Visualizza questo articolo
EUR 6,99
EUR 61,50 per la spedizione da Germania a U.S.A.
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 311,94
EUR 3,69 per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Formal Models and Semantics: Volume B
Foto dell'editore
Formal Models and Semantics (Volume B) (Handbook of Theoretical Computer Science, Volume B)
Da: Studibuch, Stuttgart, Germania
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Gut. 1273 Seiten; 9780444880741.3 Gewicht in Gramm: 5. Codice articolo 479565
Quantità: 1 disponibili
Foto dell'editore
Formal Models and Semantics (Handbook of Theoretical Computer Science) (Volume B)
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Volume B. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. B Please note the Image in this listing is a stock photo and may not match the covers of the actual item,2750grams, ISBN:9780444880741. Codice articolo 4779619
Quantità: 1 disponibili
Foto dell'editore
Formal Models and Semantics (Handbook of Theoretical Computer Science) (Volume B)
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Volume B. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. B Please note the Image in this listing is a stock photo and may not match the covers of the actual item,2300grams, ISBN:0444880747. Codice articolo 4779621
Quantità: 1 disponibili
Foto dell'editore
Formal Models and Semantics (Handbook of Theoretical Computer Science, Vol. B)
Da: Toscana Books, AUSTIN, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Codice articolo Scanned0444880747
Quantità: 1 disponibili