Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εμφανίζονται 1 - 3 Αποτελέσματα από 3 για την αναζήτηση '', χρόνος αναζήτησης: 0,27δλ Περιορισμός αποτελεσμάτων
1
SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings /
Berlin ; New York : Springer, 2000

Πρακτικό Συνεδρίου Βιβλίο
2
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Berlin ; New York : Springer, 2001

Πρακτικό Συνεδρίου Βιβλίο
3
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings /
Berlin ; New York : Springer, 2002

Πρακτικό Συνεδρίου Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης