Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Michael Butler
Themen in »Formal Methods and Software Engineering«
automata dependable systems design patterns distributed testing embedded systems formal methods formal software development formal verification model checking modeling programming paradigms semantic Web services semantics systems analysis verification
Stimmen zu »Formal Methods and Software Engineering«
Details
ISBN: 9783540766483
Verlag: Springer Berlin
Erscheinung: 07.11.2007