Automated Technology for Verification and Analysis Anders P. Ravn
53,49 €
Titel: Automated Technology for Verification and Analysis, Untertitel: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings, Einband: Taschenbuch, Autor: Anders P. Ravn, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 428, Maße: 235x155x24 mm, Gewicht: 645 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Qualitätssicherung, Qualität Qualitätssicherung Sicherung / Qualitätssicherung Action Algorithm analysis and problem complexity Analysis Software Engineering automata formal methods logic model checking petri nets program analysis req software verification systems analysis theorem proving validation verification.
Jetzt bei Ebay:
