Verification, Model Checking, and Abstract Interpretation: 24th International Confere... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwaretestning
  5. Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

(Bog, Paperback / softback, Engelsk)
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, 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

Softwaretestning
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2023
Udgivelsesdato 17-01-2023
Første udgivelsesår 2023
Serie Lecture Notes in Computer Science
Illustrationer 80 Illustrations, color; 32 Illustrations, black and white; X, 389 p. 112 illus., 80 illus. in color.
Fagredaktør Cezara Dragoi, Michael Emmi, Jingbo Wang
Originalsprog Switzerland
Sideantal 389
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 389 pages, 80 Illustrations, color; 32 Illustrations, black and white; X, 389 p. 112 illus., 80 illu
Mål 235 x 155
ISBN-13 / EAN-13 9783031249495