Test Pattern Generation using Boolean Proof Engines
by
 
Drechsler, Rolf. author.

Title
: 
Test Pattern Generation using Boolean Proof Engines

Author
: 
Drechsler, Rolf. author.

ISBN
: 
9789048123605

Physical Description
: 
online resource.

Subject Term
: 
Engineering.
 
Electronics.
 
Systems engineering.

Added Author
: 
Eggersglüβ, Stephan.
 
Fey, Görschwin.
 
Tille, Daniel.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-90-481-2360-5


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book204765-2001ONLINEElektronik Kütüphane