Ihr Link zur Ex Libris-Reader-App
Geben Sie Ihre E-Mail-Adresse oder Handynummer ein und Sie erhalten einen direkten Link, um die kostenlose Reader-App herunterzuladen.
Die Ex Libris-Reader-App ist für iOS und Android erhältlich. Weitere Informationen zu unseren Apps finden Sie hier.
FM 2015: Formal Methods
- E-Book (pdf)
- 610 Seiten
- Download steht sofort bereit
- Informationen zu E-Books
- E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
E-Book (pdf)
Beschreibung
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.
Inhalt
Automated circular assume-guarantee reasoning.- Towards formal verification of orchestration computations using the K framework.- Narrowing operators on template abstract domains.
Produktinformationen
| Titel: | FM 2015: Formal Methods |
| Untertitel: | 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings |
| Editor: | |
| EAN: | 9783319192499 |
| Digitaler Kopierschutz: | Wasserzeichen |
| Format: | E-Book (pdf) |
| Hersteller: | Springer-Verlag GmbH |
| Genre: | IT & Internet |
| Anzahl Seiten: | 610 |
| Veröffentlichung: | 23.05.2015 |
| Dateigrösse: | 14.4 MB |
Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"
