Tools and Algorithms for the Construction and Analysis of Systems
9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences 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
Hubert Garavel
Themen in »Tools and Algorithms for the Construction and Analysis of Systems«
development tools formal methods formal specification model checking program semantics programming theory software testing structured analysis systems analysis systems design systems development systems verification testing verification verification tools
Stimmen zu »Tools and Algorithms for the Construction and Analysis of Systems«
Details
ISBN: 9783540365778
Verlag: Springer Berlin
Erscheinung: 01.07.2003