Formal Methods at the Crossroads. From Panacea to Foundational Support
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Bernhard K. Aichernig
Themen in »Formal Methods at the Crossroads. From Panacea to Foundational Support«
Compiler Software Engineering automata correct software development dependable computing formal methods formal specification formal verification model checking modeling programming refinement sequence charts systems modeling verification
Stimmen zu »Formal Methods at the Crossroads. From Panacea to Foundational Support«
Details
ISBN: 9783540400073
Verlag: Springer Berlin
Erscheinung: 29.03.2011