Tell your friends about this item:
Advanced Formal Verification Rolf Drechsler 2004 edition
Price
$ 107.49
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jun 2 - 8
Our customers say:
Add to your iMusic wish list
Also available as:
Advanced Formal Verification
Rolf Drechsler
Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice.
250 pages, biography
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | January 31, 2004 |
| ISBN13 | 9781402077210 |
| Publishers | Springer-Verlag New York Inc. |
| Pages | 250 |
| Dimensions | 156 × 234 × 17 mm · 639 g |
| Language | English |
| Editor | Drechsler, Rolf |
More by Rolf Drechsler
Show all![Cover for Rolf Drechsler · Test Pattern Generation using Boolean Proof Engines (Hardcover Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/599/9789048123599.jpg?rolf-drechsler-2009-test-pattern-generation-using-boolean-proof-engines-hardcover-book&class=scaled&v=1564890060)
![Cover for Rolf Drechsler · Existence: Semantics and Syntax - Studies in Linguistics and Philosophy (Hardcover Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/967/9781402061967.jpg?rolf-drechsler-2007-existence-semantics-and-syntax-studies-in-linguistics-and-philosophy-hardcover-book&class=scaled&v=1408464331)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Hardcover Book) [2003 edition] (2002)](https://imusic.b-cdn.net/images/item/original/765/9781402072765.jpg?rolf-drechsler-2002-evolutionary-algorithms-for-embedded-system-design-genetic-algorithms-and-evolutionary-computation-hardcover-book&class=scaled&v=1547873781)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Hardcover Book) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/440/9781402070440.jpg?rolf-drechsler-2002-towards-one-pass-synthesis-hardcover-book&class=scaled&v=1408490290)
![Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/938/9780792381938.jpg?rolf-drechsler-1998-binary-decision-diagrams-theory-and-implementation-hardcover-book&class=scaled&v=1410211703)
See all of Rolf Drechsler ( e.g. Paperback Book , Hardcover Book and Book )