Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Jim Davies
Themen in »Integrated Formal Methods«
Linux automata case studies component systems constraint satisfaction device driver formal method formal methods formal semantics formal specification formal validation logic modeling real-time semantics
Stimmen zu »Integrated Formal Methods«
Details
ISBN: 9783540732099
Verlag: Springer Berlin
Erscheinung: 22.06.2007