Alltid gratis frakt*
Kundene elsker oss
Norges billigste bøker
Hjelp
Logg inn
  1. Hjem
  2. Bøker
  3. Bedrift og læring
  4. Data og IT
  5. Model Checking Software

Model Checking Software

- 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

del av Lecture Notes in Computer Science-serien

del av Theoretical Computer Science and General Issues-serien

Model Checking Software
Om Model Checking Software

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783319234038
  • Bindende:
  • Paperback
  • Sider:
  • 319
  • Utgitt:
  • 3 september 2015
  • Utgave:
  • 12015
  • Dimensjoner:
  • 155x235x18 mm.
  • Vekt:
  • 5153 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 30 oktober 2024

Beskrivelse av Model Checking Software

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions.

Brukervurderinger av Model Checking Software



Andre har også kjøpt..
Finn lignende bøker
Boken Model Checking Software finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.