Integrated Formal Methods
Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Wolfgang Grieskamp
Themen in »Integrated Formal Methods«
Formal Methods Formal Notations Formal Specification Formal Validation Formal Verification Mathematics of Program Construction Program Analysis Program Semantics Programmic Logics Reactive Systems Software Refinement formal method semantics validation verification
Stimmen zu »Integrated Formal Methods«
Details
ISBN: 9783540411963
Verlag: Springer Berlin
Erscheinung: 18.10.2000