Skip to main content

Author picture

Rolf Drechsler

Author of Advanced Formal Verification

13 Works 44 Members 1 Review

Works by Rolf Drechsler

Advanced Formal Verification (1986) 6 copies

Advanced Formal Verification (2004) 6 copies

Test Pattern Generation using Boolean Proof Engines (2009) 4 copies

Computer : Wie funktionieren Smartphone, Tablet & Co.? (2017) 4 copies

Towards one-pass synthesis (2013) 4 copies

Formal verification of circuits (2013) 4 copies

Evolutionary Algorithms for Embedded System Design (Genetic Algorithms and Evolutionary Computation) (2002) 3 copies

Binary decision diagrams : theory and implementation (2013) 3 copies

Evolutionary algorithms for VLSI CAD (2013) 3 copies

Formal modeling and verification of cyber-physical systems : 1st International Summer School on Methods and Tools for… (2015) 2 copies

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015 (2016) 2 copies

Formal system verification : state-of the-art and future trends (2017) 2 copies

Graphenbasierte Funktionsdarstellung (XLeitfäden der Informatik) 1 copy

Tagged

army donate books (1) book pickup trucks (1) book recycling (1) books donation (1) books for charity (1) books for donation (1) coating (1) components (1) computer (2) computer science (1) digital (1) donate books (1) donate books charity (1) donate books in (1) donate books michigan (1) donate old books (1) donate paperback books (1) donate used book (3) donating books (1) ebook (1) electrical (1) electronics (3) encapsulation (1) engineering (1) li_3 (1) non-fiction (2) PDF (1) pick up books (2) pick up used books (1) pickup book (1) potting (1) recycle bookstore (1) recycled book (1) recycling books (2) reference (1) science (1) unsortedISBN (1) where to donate books (2) wishlist (1) xxx (1)

Common Knowledge

There is no Common Knowledge data for this author yet. You can help.

Members

Reviews

Encapsulation of Electronic Devices and Components by Edward R. Salmon

Hardcover, 240 pages i used this book to successfully build and used a silicon potting lab for high voltage assemblies that operated up to 200 kV. Highly recommended by me.

Flagged

dougp01 | Jan 2, 2008 |

See More Reviews

Statistics

Works: 13
Members: 44
Popularity: #346,250
Rating: 5.0

Reviews: 1
ISBNs: 34
Languages: 1

Pictures

Links

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Is This You?

Become a LibraryThing Author.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

This site uses cookies to deliver our services, improve performance, for analytics, and (if not signed in) for advertising. By using LibraryThing you acknowledge that you have read and understand our Terms of Service and Privacy Policy. Your use of the site and services is subject to these policies and terms.