Automated Technology for Verification and Analysis Farn Wang
106,99 €
Titel: Automated Technology for Verification and Analysis, Untertitel: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings, Einband: Taschenbuch, Autor: Farn Wang, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 524, Maße: 235x155x29 mm, Gewicht: 785 g, Verkäufer: buch-mimpf, Schlagworte: Programmieren (EDV) / Entwicklung Verifikation - verifizieren Compiler Embedded Systems Formal Specification Optimization Protocol Verification Systems Design complexity formal methods model checking organization petri net petri nets program analysis software verification systems analysis.
Jetzt bei Ebay:
