Foundations of Software Science and Computational Structures
6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Andrew D. Gordon
Themen in »Foundations of Software Science and Computational Structures«
Automat automata computational structures formal methods formal verification logical foundations mathematical foundations model checking program analysis program logics programming theory software engineering software science
Stimmen zu »Foundations of Software Science and Computational Structures«
Details
ISBN: 9783540008972
Verlag: Springer Berlin
Erscheinung: 14.03.2003