Formal Methods and Software Engineering
Zusammenfassung
The feel-good place to buy books
Formal Methods and Software Engineering by Kazuhiro Ogata
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 verification and validation, software engineering, formal specification and modeling, software security, and software reliability.| SKU | Nicht verfügbar |
| ISBN 13 | 9783319478456 |
| ISBN 10 | 3319478451 |
| Titel | Formal Methods and Software Engineering |
| Autor | Kazuhiro Ogata |
| Serie | Lecture Notes In Computer Science |
| Buchzustand | Nicht verfügbar |
| Bindungsart | Paperback |
| Verlag | Springer International Publishing AG |
| Erscheinungsjahr | 2016-10-15 |
| Seitenanzahl | 486 |
| Hinweis auf dem Einband | Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden. |
| Hinweis | Nicht verfügbar |