VDM ʹ90. VDM and Z-Formal methods in software development : Third international symposium of VDM Europe Kiel, FRG, April 1990: Proceedings ; D. Bjorner, C. A. R. Hoare, H. Langmaack
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Book |
| Language: | English |
| Published: |
Berlin :
Springer-Verlag,
c 1990
|
| Series: | Lecture notes in computer science,
428 |
| Subjects: |
| Βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός Αντιτύπων | Πληροφορίες | Κατάσταση |
|---|---|---|---|---|
| Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών | 005.11 ISVDM1990 v 1990 | 1 | Προβολή | OPAC |