9783319686899 - Formal Methods and Software Engineering Kartoniert (TB)

EAN: 9783319686899

Produktdaten aktualisiert am: 19.01.2025
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: 3319686895 
This book constitutes the refereed proceedings of the 19th International Conference on Formal
Engineering Methods  ICFEM 2017  held in Xi'an  China  in November 2017. The 28 revised full
papers presented together with one invited talk and two abstracts of invited talks were
carefully reviewed and selected from 80 submissions. The conference focuses on all areas
related to formal engineering methods  such as verification and validation  software
engineering  formal specification and modeling  software security  and software reliability.

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Barcode:
9783319686899
QR-Code:
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
ean-shopping.de - es werden keine Cookies verwendet - Impressum