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