Formal Methods and Software Engineering
Produktnummer:
18d5fb60124d874b8491e6c6c46c9fd047
| Themengebiete: | cloud computing distributed systems formal methods model checking self-adaptive systems |
|---|---|
| Veröffentlichungsdatum: | 15.10.2016 |
| EAN: | 9783319478456 |
| Sprache: | Englisch |
| Seitenzahl: | 486 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Lawford, Mark Liu, Shaoying Ogata, Kazuhiro |
| Verlag: | Springer International Publishing |
| Untertitel: | 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings |
Produktinformationen "Formal Methods and Software Engineering"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen