Hardware Specification, Verification and Synthesis: Mathematical Aspects
Produktnummer:
18c841297ef6884b69aa9a43aa99d73e88
| Themengebiete: | Hardware Mikroelektronik Mikroprozessor Schaltkreis Synchronisation VLSI Verifikation complexity formal method logic |
|---|---|
| Veröffentlichungsdatum: | 14.02.1990 |
| EAN: | 9780387972268 |
| Sprache: | Englisch |
| Seitenzahl: | 404 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Brown, Geoffrey Leeser, Miriam |
| Verlag: | Springer US |
| Untertitel: | Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings |
Produktinformationen "Hardware Specification, Verification and Synthesis: Mathematical Aspects"
The papers in this volume present current research into formal methods for hardware design. The goal of this research is to develop new ways of using logic to specify systems, model hardware and verify designs. Most of the research was performed in the United States.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen