9783319194578 - Formal Methods for Industrial Critical Systems Kartoniert (TB)

EAN: 9783319194578

Produktdaten aktualisiert am: 12.11.2024
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: 3319194577 
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for
Industrial Critical Systems  FMICS 2015  Oslo  Norway  in June 2015. The 12 papers presented in
this volume were carefully reviewed and selected from 20 submissions. They are organized in
topical sections: applications  protocols  specification and analysis  verification.

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Barcode:
9783319194578
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