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 | 9783319064093 |
| Sprache | Englisch |
| Erscheinungsdatum | 09.04.2014 |
| Größe | 23.5 x 15.5 cm |
| Verlag | Springer International Publishing |
| Herausgegeben von | Cliff Jones, Pekka Pihlajasaari, Jun Sun |
| 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 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.
| Reihe | Programming and Software Engineering |
|---|---|
| Themen | Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Software Engineering |
| ISBN | 9783319064093 |
| Sprache | Englisch |
| Erscheinungsdatum | 09.04.2014 |
| Größe | 23.5 x 15.5 cm |
| Verlag | Springer International Publishing |
| Herausgegeben von | Cliff Jones, Pekka Pihlajasaari, Jun Sun |
| 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?
