Liknande böcker

Verification, Model Checking, and Abstract Interpretation
Bok av Deepak. D’Souza
Theoretical Aspects of Computing - ICTAC 2007
Bok av Cliff B. Jones
Verification, Model Checking, and Abstract Interpretation
Bok
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Testing: Academic and Industrial Conference - Practice and Research Tech...
Bok av Leonardo. Bottaci
Foundations of Software Science and Computational Structures
Bok av Martin. Hofmann
Theoretical Aspects of Computing - ICTAC 2007
Bok av Cliff B. Jones
Theoretical Aspects of Computing - ICTAC 2004 : First International Coll...
Bok

Verification, Model Checking, and Abstract Interpretation

Bok av Deepak. D’Souza