Télécharger Deductive Program Design PDF Springer-Verlag Berlin and Heidelberg GmbH & Co. K - Deductive Program Design This volume presents research in the description of distributed systems and the design calculi of software and hardware using functional, algebraic, logical and programming calculi. Full description
Détails Deductive Program Design
Le Titre Du Livre | Deductive Program Design |
EAN | 9783540609476 |
Auteur | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
ISBN-10 | 9783540609476 |
Langue | Anglais |
Nombre de pages | 470 pages |
Editeur | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
Catégories | Thèmes |
Évaluation du client | 4.5 étoiles sur 5 de 329 Commentaires client |
La taille du fichier | 21.14 MB |
Tidak ada komentar:
Posting Komentar