Tool support for system specification, development and verification

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: International Workshop on Tool Support for System Specification, Development and Verificaion
Άλλοι συγγραφείς: Berghammer, R. (Rudolph) 1952- (Επιμελητής έκδοσης), Lakhnech, Y. (Yassine) (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Δημοσίευση: Wien : Springer, c1999
Σειρά:Advances in computing science,
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!