Liknande böcker

Verification, Model Checking, and Abstract Interpretation : 19th Interna...
Bok av Isil Dillig
Verification, Model Checking, and Abstract Interpretation : 18th Interna...
Bok av Ahmed Bouajjani
Verification, Model Checking, and Abstract Interpretation
Bok av Anthony W. Lin
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Hardware and Software: Verification and Testing : 12th International Hai...
Bok av Roderick Bloem
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International C...
Bok av Michael Butler
Hardware and Software: Verification and Testing : 11th International Hai...
Bok av Nir Piterman
Hardware and Software: Verification and Testing
Bok

Verification, Model Checking, and Abstract Interpretation

Bok