Reading Length
Home
Speed Tests
Login
M. Bidoit
Identifiers
Open Library
OL2681875A
Top Subjects
Verification (1)
Computer software (1)
Computers - Languages / Programming (1)
Tools (1)
Computer Science (1)
Computer Engineering (1)
Computers (1)
Books by M. Bidoit
Total count: 4
Algebraic System Specification and Development
A Survey and Annotated Bibliography (Lecture Notes in Computer Science)
Springer
1991-07-01
Recent Trends in Data Type Specification
8th Workshop on Specification of Abstract Data Types Joint With the 3rd Compass Workshop Dourdan, France, A (Lecture Notes in Computer Science)
Springer
1993-03-01
Systems and Software Verification
Model-Checking Techniques and Tools
1 edition
Springer
2001-08-09
Systems and Software Verification
Model-Checking Techniques and Tools
Springer
2014-03-12
