Formal Methods and Software Engineering
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Chris George
Themen in »Formal Methods and Software Engineering«
Ada CORBA Correct Software Development Formal Methods Formal Software Development Java Program Transformation Safety-Critical Systems Software Architecture Software Engineering algorithms automata design formal verification programming
Stimmen zu »Formal Methods and Software Engineering«
Details
ISBN: 9783540361039
Verlag: Springer Berlin
Erscheinung: 30.06.2003