Temporal logic in specification : Altrincham, Uk, April 8-10, 1987 : proceedings
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Berlin ; Heidelberg :
Springer,
c1989.
|
| Σειρά: | Lecture notes in computer science ;
398 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|