Runtime Verification: 4th International Conference, RV 2013, Rennes, France, Septembe... (Bog, Paperback / softback, Engelsk)

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

(Bog, Paperback / softback, Engelsk)



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

Beskrivelse

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2013 ed.
Udgivelsesdato 19-08-2013
Første udgivelsesår 2013
Serie Lecture Notes in Computer Science
Illustrationer 113 Illustrations, black and white
Fagredaktør Axel Legay, Saddek Bensalem
Originalsprog Germany
Sideantal 426
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 426 pages, 113 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783642407864