FM 2015: Formal Methods / Lecture Notes in Computer Science Bd.9109 (PDF)
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „FM 2015: Formal Methods / Lecture Notes in Computer Science Bd.9109 (PDF)“
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.
Bibliographische Angaben
- 2015, 2015, 610 Seiten, Englisch
- Herausgegeben: Nikolaj Bjørner, Frank de Boer
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319192493
- ISBN-13: 9783319192499
- Erscheinungsdatum: 23.05.2015
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 14 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "FM 2015: Formal Methods / Lecture Notes in Computer Science Bd.9109"
0 Gebrauchte Artikel zu „FM 2015: Formal Methods / Lecture Notes in Computer Science Bd.9109“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "FM 2015: Formal Methods / Lecture Notes in Computer Science Bd.9109".
Kommentar verfassen