Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

- 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

del av Lecture Notes in Computer Science-serien

del av Theoretical Computer Science and General Issues-serien

Verification, Model Checking, and Abstract Interpretation
Om Verification, Model Checking, and Abstract Interpretation

VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319522333
  • Format:
  • Häftad
  • Sidor:
  • 560
  • Utgiven:
  • 12 Januari 2017
  • Utgåva:
  • 12017
  • Mått:
  • 155x235x30 mm.
  • Vikt:
  • 8657 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 30 Oktober 2024

Beskrivning av Verification, Model Checking, and Abstract Interpretation

VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Användarnas betyg av Verification, Model Checking, and Abstract Interpretation



Andra köpte även...
Hitta liknande böcker
Boken Verification, Model Checking, and Abstract Interpretation finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.