AKTUELLE PARTNERANGEBOTE

Current Trends in Hardware Verification and Automated Theorem Proving

Name: Current Trends in Hardware Verification and Automated Theorem Proving
Brand: P. A. Subrahmanyam, Graham Birtwistle
SKU: 4123329

Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1989, Label : Springer New York, Publisher : Springer New York, medium : Taschenbuch, numberOfPages : 504, publicationDate : 1989-01-01, releaseDate : 1989-01-01, authors : P. A. Subrahmanyam, Graham Birtwistle, ISBN : 1461281954

2 Angebote · ab 102,34 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Current Trends in Hardware Verification and Automated Theorem Proving

Finde das Produkt,
das wirklich zu dir passt.