Header

Shop : Rezensionsexemplar

Shop
Rezensionsexemplar
978-3-8322-8619-4
48,80 €
ISBN 978-3-8322-8619-4
Paperback
190 Seiten
59 Abbildungen
281 g
21 x 14,8 cm
Englisch
Dissertation
November 2009
Ulrich Kühne
Advanced Automation in Formal Verification of Processors
Schlagwörter: formal verification; bounded model checking; processors; hardware design; CAD
Bitte senden Sie das Rezensionsexemplar an
Anschrift der Redaktion
Anschrift des Rezensenten
Sicherheitscode
Captcha
Datenschutzerklärung
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
  +49 2421 99011 9
Mo. - Do. 8:00 Uhr bis 16:00 Uhr
Fr. 8:00 Uhr bis 15:00 Uhr
Kontaktieren Sie uns. Wir helfen Ihnen gerne weiter.
Captcha
Social Media