Tipsa dina vänner om produkten:
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
Pris
SEK 699
Beställningsvara
Förväntad leverans 24 okt - 5 nov
Lägg till din iMusic-önskelista
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
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öcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 14 februari 1990 |
| ISBN13 | 9780387972268 |
| Utgivare | Springer-Verlag New York Inc. |
| Antal sidor | 404 |
| Mått | 155 × 235 × 21 mm · 576 g |
| Språk | Engelska |
| Redaktör | Brown, Geoffrey |
| Redaktör | Leeser, Miriam |
Visa alla
Fler produkter med Cornell University
Se alt med Cornell University ( t.ex. Inbunden Bok och Pocketbok )