Constraint-Based Verification

Type:: e-book
Titel:: Constraint-Based Verification
Auteur:: Yuan, Jun; Aziz, Adnan; Pixley, Carl
Taal:: Engels
Uitgever:: Dordrecht Springer US 2006
ISBN:: 0-387-25947-3
1-4419-3852-4
9786610618743
1-280-61874-4
0-387-30784-2
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000227880