Constructing programs from specifications: proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13 - 16 May 1991
Amsterdam [u.a.]: North-Holland, 1991
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- X, 515 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Constructing programs from specifications: proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13 - 16 May 1991
|
---|---|
Verantwortlichkeitsangabe: | ed. by B. Möller |
Autor/in / Beteiligte Person: | Möller, Bernhard |
Körperschaft: | International Federation for Information Processing, Working Group on Algol ; Working Conference on Constructing Programs from Specifications |
Link: | |
Veröffentlichung: | Amsterdam [u.a.]: North-Holland, 1991 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | X, 515 S. : graph. Darst. |
ISBN: | 0444891846 |
Schlagwort: |
|
Sonstiges: |
|