Automated Technology for Verification and Analysis Jean-Francois Raskin
Titel: Automated Technology for Verification and Analysis, Untertitel: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings, Einband: Taschenbuch, Autor: Jean-Francois Raskin, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 456, Maße: 235x155x25 mm, Gewicht: 686 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Netzwerk (elektronisch) Programmiersprachen Dynamic analysis Fault Tree Analysis Isabelle/HOL automated static analysis correctness equivalence checking formal methods formal verification logic and verification model checking protocol testing and verification safety software functional properties software verification theorem proving timed automata.
Jetzt bei Ebay:
