Model Checking Software
12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Patrick Godefroid
Themen in »Model Checking Software«
Eclipse Java SPIN abstraction algorithms explicit model checking formal methods formal specification modal verification modeling mu calculus software verification spin model checking structured analysis verification
Stimmen zu »Model Checking Software«
Details
ISBN: 9783540281955
Verlag: Springer Berlin
Erscheinung: 09.08.2005