Liknande böcker

Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Computational Logic in Multi-Agent Systems : 14th International Workshop...
Bok av João. Leite
Software Engineering and Formal Methods : 10th International Conference,...
Bok av George. Eleftherakis
Computational Logic in Multi-Agent Systems : 10th International Workshop...
Bok av Jürgen. Dix
Data Engineering and Management : Second International Conference, ICDEM...
Bok av Rajkumar. Kannan
CONCUR 2011 – Concurrency Theory : 22nd International Conference, CONCUR...
Bok av Joost-Pieter. Katoen
CONCUR 2010 - Concurrency Theory : 21th International Conference, CONCUR...
Bok av Paul. Gastin
Formal Verification of Secure User Mode Device Execution with DMA : 10th...
Bok av Oliver Schwarz

Computer Aided Verification

Bok av Tayssir. Touili