Verification, Model Checking, and Abstract Interpretation David Monniaux
Titel: Verification, Model Checking, and Abstract Interpretation, Untertitel: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings, Einband: Taschenbuch, Autor: David Monniaux, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 580, Maße: 235x155x32 mm, Gewicht: 867 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines Fault Tolerance Separation logic Simulation abstract interpretation automata automated reasoning concurrency cryptography decision procedure deductive verification hoare logics hybrid systems modal and temporal logics model checking probabilistic systems safety critical systems security timed and hybrid systems verification.
Jetzt bei Ebay:
