9783319478456 - Formal Methods and Software Engineering Kartoniert (TB)

EAN: 9783319478456

Produktdaten aktualisiert am: 24.11.2024
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: 3319478451

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.

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Barcode:
9783319478456
QR-Code:
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>