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: 53.99 EUR
Availability: OutOfStock
Author: Cornell University

Cena

€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 24. sept. - . gada 2. okt.

Saņemiet paziņojumus par jauniem Cornell University izdevumiem

Mūsu klienti saka:

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

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	1990. gada 14. februāris
ISBN13	9780387972268
Izdevēji	Springer-Verlag New York Inc.
Lapas	404
Izmēri	155 × 235 × 21 mm · 576 g
Valoda	Angļu
Redaktors	Brown, Geoffrey
Redaktors	Leeser, Miriam