Tools and Algorithms for the Construction and Analysis of Systems Wang Yi
106,99 €
Titel: Tools and Algorithms for the Construction and Analysis of Systems, Untertitel: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings, Einband: Taschenbuch, Autor: Wang Yi, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 606, Maße: 235x155x33 mm, Gewicht: 905 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus Analyse / Systemanalyse Systemanalyse Algorithm analysis and problem complexity Design Semantics algorithm algorithms model checking testing verification.
Jetzt bei Ebay:
