Verification, Model Checking, and Abstract Interpretation K. Rustan M. Leino
Titel: Verification, Model Checking, and Abstract Interpretation, Untertitel: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, Einband: Taschenbuch, Autor: K. Rustan M. Leino, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 572, Maße: 235x155x31 mm, Gewicht: 855 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Programmieren / Allgemeines Cloud Computing Constraint-Based Reasoning SAT-solvers complexity concurrency distributed systems formal verification hybrid systems logic model checking massive parallelism parallelism reactive synthesis robustness simulations/bisimulations software testing software verification swarm verification symbolic execution timed automata weighted automata.
Jetzt bei Ebay:
