Tools and Algorithms for the Construction and Analysis of Systems Klaus Havelund
Titel: Tools and Algorithms for the Construction and Analysis of Systems, Untertitel: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Einband: Taschenbuch, Autor: Klaus Havelund, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 672, Maße: 235x155x36 mm, Gewicht: 1001 g, Verkäufer: buch-mimpf, Schlagworte: Dynamic analysis Hardware verification Models of computation Programming languages Software Engineering algorithms automata theory complexity decision procedures formal methods hybrid models logic model checking probabilistic systems program specifications realtime softwrae verification static analysis theorem proving timed models.
Jetzt bei Ebay:
