Liknande böcker

Debugger's Handbook
Bok av J F Dimarzio
Agent-Oriented Software Engineering VIII : 8th International Workshop, A...
Bok av Michael. Luck
Reliable Software Technologies - Ada Europe 2007 : 12th Ada-Europe Inten...
Bok av Nabil. Abdennahder
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer...
Bok av S. Arun-Kumar
Perspectives of System Informatics: 4th International Andrei Ershov Memo...
Bok av Alexandre V. Zamulin
Hardware and Software: Verification and Testing : 4th International Haif...
Bok av Hana. Chockler
A Software Process Model Handbook for Incorporating People's Capabilities
Bok av Silvia T. Acuna
Metalevel Architectures and Separation of Crosscutting Concerns: Third I...
Bok av Satoshi Matsuoka

Model Checking Software

Bok av Thomas Ball