Verwandte Artikel zu FM 2015: Formal Methods: 20th International Symposium,...

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Programming and Software Engineering, Band 9109) - Softcover

 
9783319192482: FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Programming and Software Engineering, Band 9109)
Softcover
ISBN 10: 3319192485 ISBN 13: 9783319192482
Verlag: Springer, 2015

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2015
Sprache
Englisch
ISBN 10 
3319192485
ISBN 13 
9783319192482
Einband
Taschenbuch
Anzahl der Seiten
628
Herausgeber
Bjørner Nikolaj, De Boer Frank
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland