Scalable Techniques for Formal Verification

Type:: e-book
Titel:: Scalable Techniques for Formal Verification
Auteur:: Ray, Sandip
Taal:: Engels
Uitgever:: Springer US 2010
ISBN:: 1-4419-5997-1
1-4899-8444-5
9786612926952
1-4419-5998-X
1-282-92695-0
Permalink:: http://bibtest.howest.be/catalog/ebk03:2670000000031712