Liknande böcker

Integrated Formal Methods : 12th International Conference, IFM 2016, Rey...
Bok av Erika Abraham
Automatic Derivation of Platform Noninterference Properties : 14th Inter...
Bok av Oliver Schwarz
Rewriting Logic and Its Applications : 11th International Workshop, WRLA...
Bok av Dorel Lucanu
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Logic-Based Program Synthesis and Transformation : 27th International Sy...
Bok av Fabio Fioravanti
Fundamental Approaches to Software Engineering : 20th International Conf...
Bok av Marieke Huisman
Formal Methods and Software Engineering : 19th International Conference...
Bok av Zhenhua Duan
Hardware and Software: Verification and Testing : 11th International Hai...
Bok av Nir Piterman

Perspectives of System Informatics

Bok av Manuel Mazzara