Computer Aided Verification - bib.howest.be

Computer Aided Verification

Type:: e-book
Titel:: Computer Aided Verification
Auteur:: Etessami, Kousha; Kanade, Takeo; Rajamani, Sriram K.; Kittler, Josef
Taal:: Engels
Uitgever:: Springer Berlin Heidelberg 2005
ISBN:: 3-540-27231-3
3-540-31686-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000213118