Logics and models of concurrent systems /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συλλογικό Έργο: NATO Advanced Study Institute on Logics and Models of Concurrent Systems La Colle-sur-Loup, France, North Atlantic Treaty Organization. Scientific Affairs Division
Άλλοι συγγραφείς: Apt, Krzysztof R., 1949-
Μορφή: Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:English
Έκδοση: Berlin ; New York : Springer-Verlag, c1985.
Σειρά:NATO ASI series. Computer and systems sciences 13.
Θέματα:

Παρόμοια τεκμήρια