Formal Methods and Software Engineering
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Zhiming Liu
Themen in »Formal Methods and Software Engineering«
SPIN automata dependable systems fault tolerance formal method formal methods formal software development model checking modeling object object-oriented programming program analysis semantic structured analysis
Stimmen zu »Formal Methods and Software Engineering«
Details
ISBN: 9783540474609
Verlag: Springer Berlin
Erscheinung: 24.10.2006