Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings - Lecture Notes in Computer Science - Cornell University - Livres - Springer-Verlag New York Inc. - 9780387972268 - 14 février 1990
Si la couverture et le titre ne correspondent pas, le titre est correct.

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings - Lecture Notes in Computer Science 1990 edition

Cornell University

Prix
€ 61,99

Commandé depuis un entrepôt distant

Livraison prévue 25 oct. - 6 nov.

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings - Lecture Notes in Computer Science 1990 edition

Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.

412 pages

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 14 février 1990
ISBN13 9780387972268
Éditeurs Springer-Verlag New York Inc.
Pages 404
Dimensions 155 × 235 × 21 mm   ·   576 g
Langue et grammaire English  
Éditeur Brown, Geoffrey
Éditeur Leeser, Miriam
Afficher tout

Plus par Cornell University

Voir tous les Cornell University ( par ex. Hardcover Book et Paperback Book )