Du sparer 0% ift. ordinær pris Spar 0%

Paperback
2-4 uker
752,-

Om Model Checking Software

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;

Vis mer

Språk:
Engelsk

ISBN:
9783319941103

Forlag:
Springer International Publishing AG

Bindende:
Paperback

Sider:
347

Utgitt:
17 juni 2018

Utgave:
12018

Vekt:
557 g.

752,-
~~752,-~~

Gratis frakt

Leveringstid: 2-4 uker

Forventet levering: 30 oktober 2024

Beskrivelse av Model Checking Software

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;

Brukervurderinger av Model Checking Software

Andre har også kjøpt..

Finn lignende bøker

Boken Model Checking Software finnes i følgende kategorier:

Bedrift og læring > Data og IT

Model Checking Software

Beskrivelse av Model Checking Software

Brukervurderinger av Model Checking Software

Gjør som tusenvis av andre bokelskere