Liknande böcker

Automatic Derivation of Platform Noninterference Properties : 14th Inter...
Bok av Oliver Schwarz
Verified Software: Theories, Tools, and Experiments : 7th International...
Bok av Arie Gurfinkel
Hardware and Software: Verification and Testing : 11th International Hai...
Bok av Nir Piterman
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Automated Technology for Verification and Analysis : 14th International...
Bok av Cyrille Artho
Computer Aided Verification : 29th International Conference, CAV 2017, H...
Bok av Rupak Majumdar
Logic-Based Program Synthesis and Transformation : 27th International Sy...
Bok av Fabio Fioravanti
Integrated Formal Methods : 12th International Conference, IFM 2016, Rey...
Bok av Erika Abraham

Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Swede

Bok av Marieke Huisman