A Roadmap for Formal Property Verification

Type:: e-book
Titel:: A Roadmap for Formal Property Verification
Auteur:: Dasgupta, Pallab
Taal:: Engels
Uitgever:: Springer Netherlands 2006
ISBN:: 1-4020-4757-6
90-481-7185-7
9786610745036
1-280-74503-7
1-4020-4758-4
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000283299