Vertel uw vrienden over dit artikel:
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
Prijs
€ 61,99
Besteld in een afgelegen magazijn
Verwachte levering 25 okt. - 6 nov.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 14 februari 1990 |
| ISBN13 | 9780387972268 |
| Uitgevers | Springer-Verlag New York Inc. |
| Pagina's | 404 |
| Afmetingen | 155 × 235 × 21 mm · 576 g |
| Taal en grammatica | Engels |
| Uitgever | Brown, Geoffrey |
| Uitgever | Leeser, Miriam |
Alles tonen
Meer door Cornell University
Bekijk alles van Cornell University ( bijv. Hardcover Book en Paperback Book )