Model Checking Software Anton Wijs
Titel: Model Checking Software, Untertitel: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, Einband: Taschenbuch, Autor: Anton Wijs, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 264, Maße: 235x155x15 mm, Gewicht: 406 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Action-based probabilistic logic Algorithmic game semantics Certified model checking Concurrent Systems Fair testing equivalence Model checking algorithms On-the-fly model checking Partial-Order Methods Predicate abstraction Program Verification Program families Refinement Schedulability analysis Software Engineering Symbolic representation formal methods heuristics sensor network static analysis.
Jetzt bei Ebay:
