Formal Methods in Computer-Aided Design / Lecture Notes in Computer Science Bd.1522 (PDF)
Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, FMCAD '98, held in Palo Alto, California, USA, in November 1998.The 27 revised full papers presented were carefully reviewed...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods in Computer-Aided Design / Lecture Notes in Computer Science Bd.1522 (PDF)“
This book constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, FMCAD '98, held in Palo Alto, California, USA, in November 1998.The 27 revised full papers presented were carefully reviewed and selected from a total of 55 submissions. Also included are four tools papers and four invited contributions. The papers present the state of the art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software. From the methodological point of view, binary decision diagrams, model checking, symbolic reasoning, symbolic simulation, and abstraction methods are covered.
Bibliographische Angaben
- 2003, 1998, 538 Seiten, Englisch
- Herausgegeben: Ganesh Gopalakrishnan, Phillip Windley
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540495193
- ISBN-13: 9783540495192
- Erscheinungsdatum: 31.07.2003
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 6.12 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Methods in Computer-Aided Design / Lecture Notes in Computer Science Bd.1522"
0 Gebrauchte Artikel zu „Formal Methods in Computer-Aided Design / Lecture Notes in Computer Science Bd.1522“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods in Computer-Aided Design / Lecture Notes in Computer Science Bd.1522".
Kommentar verfassen