Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETA... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Softwareudvikling
  6. Model Checking Software: 23rd International Symposium, SPIN...

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

(Bog, Paperback / softback, Engelsk)
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
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

Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4tool demonstrations, were carefully reviewed and selected from 27 submissions.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2016
Udgivelsesdato 08-04-2016
Første udgivelsesår 2016
Serie Lecture Notes in Computer Science
Illustrationer 75 Illustrations, black and white
Fagredaktør Dragan Bosnacki, Anton Wijs
Originalsprog Switzerland
Sideantal 245
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 245 pages, 75 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783319325811