Tools and Algorithms for the Construction and Analysis of Systems
14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
C.R. Ramakrishnan
Themen in »Tools and Algorithms for the Construction and Analysis of Systems«
Erfüllbarkeitsproblem der Aussagenlogik abstraction algorithms automata distributed systems genetic programming learning logic programming theory real-time systems regular languages statistical methods systems analysis systems development verification
Stimmen zu »Tools and Algorithms for the Construction and Analysis of Systems«
Details
ISBN: 9783540787990
Verlag: Springer Berlin
Erscheinung: 18.03.2008