Shop : Verlinkung
Shop
Verlinkung
November 2009
Neuerscheinung
Ulrich Kühne
Advanced Automation in Formal Verification of Processors
Schlagwörter: formal verification; bounded model checking; processors; hardware design; CAD
Link zum Buch
Kopieren Sie einfach folgende Zeilen in Ihr HTML-Dokument:
Das Buch <a href="https://www.shaker.de/shop/978-3-8322-8619-4">Ulrich Kühne - Advanced Automation in Formal Verification of Processors</a><br />(ISBN: 978-3-8322-8619-4) wurde im <a href="https://www.shaker.de">Shaker Verlag</a> veröffentlicht.
Ergebnis:
Das Buch Ulrich Kühne - Advanced Automation in Formal Verification of Processors
(ISBN: 978-3-8322-8619-4) wurde im Shaker Verlag veröffentlicht.
(ISBN: 978-3-8322-8619-4) wurde im Shaker Verlag veröffentlicht.
Link zur Reihe
Kopieren Sie einfach folgende Zeilen in Ihr HTML-Dokument:
Die Reihe <a href="https://www.shaker.de/Reihe/15">Berichte aus der Informatik</a> erscheint im <a href="https://www.shaker.de">Shaker Verlag</a>.
Ergebnis:
Die Reihe Berichte aus der Informatik
erscheint im Shaker Verlag.
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
Am Langen Graben 15a
52353 Düren
Mo. - Do. 8:00 Uhr bis 16:00 Uhr
Fr. 8:00 Uhr bis 15:00 Uhr
Fr. 8:00 Uhr bis 15:00 Uhr
Kontaktieren Sie uns. Wir helfen Ihnen gerne weiter.
