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 [....]
3.8 étoiles sur 5 de 288 Commentaires client
Téléchargez gratuitement ebook ebook Deductive Program Design 3540609474 PDF RTF - 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 | 3.8 étoiles sur 5 de 288 Commentaires client |
| Nom de fichier | deductive-program-design.pdf |
| La taille du fichier | 21.45 MB |
Comments
Post a Comment