Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Programming and Software Engineering |
|---|---|
| Themen | Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Software Engineering |
| ISBN | 9783319192482 |
| Sprache | Englisch |
| Erscheinungsdatum | 02.06.2015 |
| Größe | 23.5 x 15.5 cm |
| Verlag | Springer International Publishing |
| Herausgegeben von | Nikolaj Bjørner, Frank de Boer |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
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.
| Reihe | Programming and Software Engineering |
|---|---|
| Themen | Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Software Engineering |
| ISBN | 9783319192482 |
| Sprache | Englisch |
| Erscheinungsdatum | 02.06.2015 |
| Größe | 23.5 x 15.5 cm |
| Verlag | Springer International Publishing |
| Herausgegeben von | Nikolaj Bjørner, Frank de Boer |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?
