Verwandte Artikel zu Formal Models and Semantics (Volume B) (Handbook of...
Formal Models and Semantics (Volume B) (Handbook of Theoretical Computer Science, Volume B) - Hardcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Críticas
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
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagElsevier Science Ltd
- Erscheinungsdatum1990
- ISBN 10 0444880747
- ISBN 13 9780444880741
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten1273
- Kontakt zum HerstellerNicht verfügbar
Suchergebnisse für Formal Models and Semantics (Volume B) (Handbook of...
Beispielbild für diese ISBN
Formal Models and Semantics (Volume B) (Handbook of Theoretical Computer Science, Volume B)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Gut. 1273 Seiten; 9780444880741.3 Gewicht in Gramm: 5. Artikel-Nr. 479565
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Models and Semantics (Handbook of Theoretical Computer Science) (Volume B)
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. 4779619
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Models and Semantics (Handbook of Theoretical Computer Science) (Volume B)
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. 4779621
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Models and Semantics
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-627-466
Anzahl: 1 verfügbar