Biblioteksøk

Vis søkeskjema

4 treff

computer simulation data processing testing

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings

International SPIN Workshop
Bok Engelsk 2001 · Vis mer

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings

International SPIN Workshop
Bok Engelsk 2002 · Vis mer

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings

International SPIN Workshop
Bok Engelsk 2000 · Vis mer

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

International SPIN Workshop
Bok Engelsk 1999 · Vis mer

Biblioteksøk

Meny

Startside
Lånekurv
English
Nynorsk
Davvisámegillii (Nordsamisk)
Valgt språk:Bokmål
Min profil
Logg inn
Lukk meny