KIRJAUDU
Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
51,10 €
Springer International Publishing AG
Sivumäärä: 347 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2018
Julkaisuvuosi: 2018, 17.06.2018 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 10869
Sivumäärä: 347 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2018
Julkaisuvuosi: 2018, 17.06.2018 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 10869
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. formal analysis for modeling languages, such as UML/state charts;
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783319941103
Asiasanat:
Aihealue: