Télécharger Deductive Program Design PDF eBook 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 | 5 étoiles sur 5 de 401 Commentaires client |
| La taille du fichier | 20.18 MB |



Tidak ada komentar:
Posting Komentar