Computer Aided Verification

книги
Computer Aided Verification
Год
 
Страниц
 
64
ISBN
 
9786133224742
Издатель
 
Книга по требованию

Описание:

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal...

Похожие книги

Developing Computer Aided Design and Computer Aided Engineering Modeling Methods for Vertebrate PaleontologyDeveloping Computer Aided Design and Computer Aided Engineering Modeling Methods for Vertebrate Paleontology
Автор: Mallison H
Год: 2007
18th European Symposium on Computer Aided Process Engineering Computer Aided Chemical18th European Symposium on Computer Aided Process Engineering Computer Aided Chemical
Автор: Thomson, T.
Год: 2005
Computer Aided Verification, 15 conf., CAV 2003Computer Aided Verification, 15 conf., CAV 2003
Год: 2003
Agile Systems With Reusable Patterns of Business Knowledge: A Component-Based Approach (Artech House Computing Library)Agile Systems With Reusable Patterns of Business Knowledge: A Component-Based Approach (Artech House Computing Library)
Автор: Amit Mitra
Год: 2005
Computer Aided FormulationComputer Aided Formulation
Автор: Alan H. Bohl
Год: 1990
Computer Aided Design and Computer Aided Engineering (CAD-CAE). Methods, models and tools for CAD-CAE integrationComputer Aided Design and Computer Aided Engineering (CAD-CAE). Methods, models and tools for CAD-CAE integration
Год: 2011