Tools and Algorithms for the Construction and Analysis of Systems Ed Brinksma
93,08 €
Titel: Tools and Algorithms for the Construction and Analysis of Systems, Untertitel: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings, Einband: Taschenbuch, Autor: Ed Brinksma, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 452, Maße: 235x155x25 mm, Gewicht: 680 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Allgemeines Modellprüfung Systemanalyse Systems Design algorithm algorithms model checking software development systems analysis theorem proving tool tools verification.
Jetzt bei Ebay:
