Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Algoritmer og datastrukturer
  5. Kompilatorer og fortolkere
  6. Softwareudvikling
  7. Matematisk datateori
  8. Datamodellering og simulering
  9. Model Checking Software: 25th International Symposium, SPIN...

Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

(Bog, Paperback / softback, Engelsk)
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Algoritmer og datastrukturer Datamodellering og simulering Kompilatorer og fortolkere Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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;

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2018
Udgivelsesdato 17-06-2018
Første udgivelsesår 2018
Serie Lecture Notes in Computer Science
Illustrationer 78 Illustrations, black and white
Fagredaktør Maria del Mar Gallardo, Pedro Merino
Originalsprog Switzerland
Sideantal 347
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 347 pages, 78 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783319941103