Cornell University
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

Name: 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
Price: 569 NOK
Availability: OutOfStock
Author: Cornell University

Pris

NOK 569

Bestillingsvarer

Forventes levert 7. - 15. jan 2026

Julegaver kan byttes frem til 31. januar

Kundene våre sier:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dages returrett

Toppvurdering på Trustpilot

Legg til iMusic ønskeliste

eller

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

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

Media	Bøker Pocketbok (Bok med mykt omslag og limt rygg)
Utgitt	14. februar 1990
ISBN13	9780387972268
Utgivere	Springer-Verlag New York Inc.
Antall sider	404
Mål	155 × 235 × 21 mm · 576 g
Språk	Engelsk
Redaktør	Brown, Geoffrey
Redaktør	Leeser, Miriam