Leveraging Applications of Formal Methods, Verification and Validation: Discussion, D... (Bog, Paperback / softback, Engelsk)

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

(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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2016
Udgivelsesdato 06-10-2016
Første udgivelsesår 2016
Serie Lecture Notes in Computer Science
Illustrationer 291 Illustrations, black and white; XXIV, 866 p. 291 illus.
Fagredaktør Tiziana Margaria, Bernhard Steffen
Originalsprog Switzerland
Sideantal 866
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 866 pages, 291 Illustrations, black and white; XXIV, 866 p. 291 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319471686