Leveraging Applications of Formal Methods, Verification and Validation: 5th Internati... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Kompilatorer og fortolkere
  5. Softwareudvikling
  6. Matematisk datateori
  7. Kunstig intelligens
  8. Operativsystemer
  9. Leveraging Applications of Formal Methods, Verification and...

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

(Bog, Paperback / softback, Engelsk)
Forlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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

Kompilatorer og fortolkere Kunstig intelligens Matematisk datateori Operativsystemer Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2012 ed.
Udgivelsesdato 11-09-2012
Første udgivelsesår 2012
Serie Theoretical Computer Science and General Issues
Illustrationer 129 Illustrations, black and white; XVI, 361 p. 129 illus.
Fagredaktør Tiziana Margaria, Bernhard Steffen
Originalsprog Germany
Sideantal 361
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 361 pages, 129 Illustrations, black and white; XVI, 361 p. 129 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783642340314