Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: EEF/Euro Summer School on Trends in Computer Science Berg en Dal, Netherlands)
Άλλοι συγγραφείς: Brinksma, Ed., Hermanns, Holger, 1967-, Katoen, Joost-Pieter.
Μορφή: Sách giấy
Έκδοση: Berlin ; New York : Springer, c2001.
Σειρά:Lecture notes in computer science, 2090
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt