Tools and Algorithms for the Construction and Analysis of Systems Andreas Podels
106,99 €
Titel: Tools and Algorithms for the Construction and Analysis of Systems, Untertitel: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, Einband: Taschenbuch, Autor: Andreas Podelski, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 628, Maße: 235x155x34 mm, Gewicht: 937 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus Analyse / Systemanalyse Systemanalyse Algorithm analysis and problem complexity Analysis Automat algorithms automata logic model checking petri net testing theorem proving.
Jetzt bei Ebay:
