Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin ; New York :
Springer-Verlag,
1984.
|
| Σειρά: | Lecture notes in computer science ;
164. |
| Θέματα: |
| Περιγραφή τεκμηρίου: | Proceedings of the Logics of Programs Workshop. |
|---|---|
| Φυσική περιγραφή: | vi, 527 p. : ill. ; 25 cm. |
| Βιβλιογραφία: | Includes bibliographies. |
| ISBN: | 0387128964 |