David Monniaux - Böcker
Visar alla böcker från författaren David Monniaux. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Del 10145 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Häftad, Engelska, 2017
552 kr
Skickas inom 10-15 vardagar
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.