Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.7635 (PDF)
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.
The 31 revised full papers together with 3 invited talks presented were carefully reviewed...
The 31 revised full papers together with 3 invited talks presented were carefully reviewed...
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.7635 (PDF)“
This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.
The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.
The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.
Bibliographische Angaben
- 2012, 2012, 512 Seiten, Englisch
- Herausgegeben: Toshiaki Aoki, Kenji Taguchi
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642342817
- ISBN-13: 9783642342813
- Erscheinungsdatum: 29.10.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 8.64 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 "Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.7635"
Schreiben Sie einen Kommentar zu "Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.7635".
Kommentar verfassen