Tools and Algorithms for the Construction and Analysis of Systems Bernhard Steff
96,29 €
Titel: Tools and Algorithms for the Construction and Analysis of Systems, Untertitel: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, Einband: Taschenbuch, Autor: Bernhard Steffen, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 484, Maße: 235x155x27 mm, Gewicht: 727 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Netzwerk (elektronisch) Automat Coq algorithm automata formal verification logic model checking modeling petri net programming real-time verification.
Jetzt bei Ebay:
