Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Revue de presse
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
Présentation de l'éditeur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Formal Models and Semantics
Image d'archives
Formal Models and Semantics (Handbook of Theoretical Computer Science) (Volume B)
Edité par
Elsevier Science, 1990
ISBN 10 : 0444880747
ISBN 13 : 9780444880741
Ancien ou d'occasion
Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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 réf. du vendeur 4779619
Acheter D'occasion
EUR 72,44
Frais de port :
EUR 19,10
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Models and Semantics (Handbook of Theoretical Computer Science) (Volume B)
Edité par
Elsevier Science, 1990
ISBN 10 : 0444880747
ISBN 13 : 9780444880741
Ancien ou d'occasion
Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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 réf. du vendeur 4779621
Acheter D'occasion
EUR 72,44
Frais de port :
EUR 19,10
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)