KIRJAUDU
Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedi
47,70 €
Springer International Publishing AG
Sivumäärä: 213 sivua
Asu: Pehmeäkantinen kirja
Painos: 2015
Julkaisuvuosi: 2015, 27.05.2015 (lisätietoa)
Kieli: Englanti
Sivumäärä: 213 sivua
Asu: Pehmeäkantinen kirja
Painos: 2015
Julkaisuvuosi: 2015, 27.05.2015 (lisätietoa)
Kieli: Englanti
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.
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.
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783319194578
Tuotesarja:
Aihealue:
|
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |