Liknande böcker

Computer Aided Verification : 29th International Conference, CAV 2017, H...
Bok av Rupak Majumdar
Integrated Formal Methods : 13th International Conference, IFM 2017, Tur...
Bok av Nadia Polikarpova
Software Engineering and Formal Methods : 15th International Conference,...
Bok av Alessandro Cimatti
Intelligent Computer Mathematics
Bok av Michael Kohlhase
Hardware and Software: Verification and Testing
Bok
Software Engineering for Self-Adaptive Systems
Bok av Betty H. C. Cheng
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Languages and Compilers for Parallel Computing : 28th International Work...
Bok av Xipeng Shen

Verified Software. Theories, Tools, and Experiments

Bok