Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Themen | Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Software Engineering |
| ISBN | 9783319708478 |
| Sprache | Englisch |
| Erscheinungsdatum | 12.11.2017 |
| Größe | 23.5 x 15.5 cm |
| Verlag | Springer International Publishing |
| Herausgegeben von | Simone Cavalheiro, José Fiadeiro |
| 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 Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages. The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Themen | Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Software Engineering |
| ISBN | 9783319708478 |
| Sprache | Englisch |
| Erscheinungsdatum | 12.11.2017 |
| Größe | 23.5 x 15.5 cm |
| Verlag | Springer International Publishing |
| Herausgegeben von | Simone Cavalheiro, José Fiadeiro |
| 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?
