Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.10009 (PDF)
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully...
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.10009 (PDF)“
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veri¿cation and validation, software engineering, formal speci¿cation and modeling, software security, and software reliability.
Bibliographische Angaben
- 2016, 1st ed. 2016, 486 Seiten, Englisch
- Herausgegeben: Kazuhiro Ogata, Mark Lawford, Shaoying Liu
- Verlag: Springer-Verlag GmbH
- ISBN-10: 331947846X
- ISBN-13: 9783319478463
- Erscheinungsdatum: 31.10.2016
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 25 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.10009"
Schreiben Sie einen Kommentar zu "Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.10009".
Kommentar verfassen