Verification, Model Checking, and Abstract Interpretation: 16th International Confere... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Brugergrænsefladedesign og brugervenlighed
  5. Softwareudvikling
  6. Matematisk datateori
  7. Programmeringssprog og scriptsprog
  8. Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

(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

Brugergrænsefladedesign og brugervenlighed Matematisk datateori Programmeringssprog og scriptsprog Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2015 ed.
Udgivelsesdato 07-01-2015
Første udgivelsesår 2015
Serie Lecture Notes in Computer Science
Illustrationer 102 Illustrations, black and white; XVIII, 468 p. 102 illus.
Fagredaktør Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
Originalsprog Germany
Sideantal 468
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 468 pages, 102 Illustrations, black and white; XVIII, 468 p. 102 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783662460801