Der Artikel ist weiterhin als ^^OTHERCONDITION^^ verfügbar.
Autor: Nikolaj Bjørner
ISBN-13: 9783319192482
Einband: Taschenbuch
Seiten: 610
Gewicht: 937 g
Format: 235x155x33 mm
Sprache: Englisch

FM 2015: Formal Methods

.9109, Lecture Notes in Computer Science, Programming and Software Engineering
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
99
Automated circular assume-guarantee reasoning.- Towards formal verification of orchestration computations using the K framework.- Narrowing operators on template abstract domains.
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
Autor: Nikolaj Bjørner
ISBN-13:: 9783319192482
ISBN: 3319192485
Verlag: Springer, Berlin, Springer International Publishing, Springer
Gewicht: 937g
Seiten: 610
Sprache: Englisch
Auflage 2015
Sonstiges: Taschenbuch, 235x155x33 mm, 156 SW-Abb.