Automated Technology for Verification and Analysis Yih-Kuen Tsay
53,49 €
Titel: Automated Technology for Verification and Analysis, Untertitel: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, Einband: Taschenbuch, Autor: Yih-Kuen Tsay, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 524, Maße: 235x155x29 mm, Gewicht: 785 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Qualitätssicherung, Qualität Qualitätssicherung Sicherung / Qualitätssicherung Hub Java Protocol Verification Refinement Systems Design XML automata complexity formal methods hybrid systems logic model checking petri net program analysis programming.
Jetzt bei Ebay:
