Header

Shop : Review copy

Shop
Review copy
978-3-8322-8619-4
48,80 €
ISBN 978-3-8322-8619-4
Softcover
190 pages
59 figures
281 g
21 x 14,8 cm
English
Thesis
November 2009
Ulrich Kühne
Advanced Automation in Formal Verification of Processors
Keywords: formal verification; bounded model checking; processors; hardware design; CAD
Please send the review copy to
Address of the editorial office
Reviewer's address
Security code
Captcha
Privacy Policy
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
Germany
  +49 2421 99011 9
Mon. - Thurs. 8:00 a.m. to 4:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Contact us. We will be happy to help you.
Captcha
Social Media