Model Checking Software
14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Dragan Bosnacki
Themen in »Model Checking Software«
SPIN Scala Variable distributed porcesses explicit model checking formal methods formal specification formal verification markovian systems model checking modeling mu calculus semantics structured analysis verification
Stimmen zu »Model Checking Software«
Details
ISBN: 9783540733690
Verlag: Springer Berlin
Erscheinung: 21.06.2007