Artículos relacionados a Formal Models and Semantics (Volume B) (Handbook of...
Formal Models and Semantics (Volume B) (Handbook of Theoretical Computer Science, Volume B) - Tapa dura
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 220,48
EUR 25,47 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Formal Models and Semantics (Volume B) (Handbook of...
Imagen de archivo
Formal Models and Semantics (Volume B) (Handbook of Theoretical Computer Science, Volume B)
Publicado por
Elsevier Science, 1990
ISBN 10: 0444880747
ISBN 13: 9780444880741
Antiguo o usado
Tapa dura
Librería: Studibuch, Stuttgart, Alemania
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Gut. 1273 Seiten; 9780444880741.3 Gewicht in Gramm: 5. Nº de ref. del artículo: 479565
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Models and Semantics (Handbook of Theoretical Computer Science, Vol. B)
Publicado por
Elsevier Science, 1992
ISBN 10: 0444880747
ISBN 13: 9780444880741
Antiguo o usado
Tapa dura
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 5.15. Nº de ref. del artículo: G0444880747I3N00
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Models and Semantics
Publicado por
Elsevier Science, 1990
ISBN 10: 0444880747
ISBN 13: 9780444880741
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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. Nº de ref. del artículo: E-627-466
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Models and Semantics (Handbook of Theoretical Computer Science) (Volume B)
Publicado por
Elsevier Science, 1990
ISBN 10: 0444880747
ISBN 13: 9780444880741
Antiguo o usado
Tapa dura
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 4779619
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Models and Semantics (Handbook of Theoretical Computer Science) (Volume B)
Publicado por
Elsevier Science, 1990
ISBN 10: 0444880747
ISBN 13: 9780444880741
Antiguo o usado
Tapa dura
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 4779621
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Models and Semantics (Handbook of Theoretical Computer Science, Vol. B)
Librería: Toscana Books, AUSTIN, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Nº de ref. del artículo: Scanned0444880747
Cantidad disponible: 1 disponibles