Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Hardware Specification, Verification and Synthesis: Mathematical Aspects

53,49 €*

Versandkostenfrei

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.
Bücherregal gefüllt mit juristischen Werken

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