Tools and Algorithms for the Construction and Analysis of Systems
16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Fast track conference proceedings State of the art papers Up to date research
Autor*in
Javier Esparza
Themen in »Tools and Algorithms for the Construction and Analysis of Systems«
Java Mutation PHP Scratch Simulation algorithms computer-assisted surgery derivation design embedded systems finite automata optimization recursion structured analysis verification
Stimmen zu »Tools and Algorithms for the Construction and Analysis of Systems«
Details
ISBN: 9783642120022
Verlag: Springer Berlin
Erscheinung: 10.03.2010