Formal development of programs and proofs
Reading, Mass. [u.a.]: Addison-Wesley, 1990
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- XIV, 242 S. : Ill., graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Formal development of programs and proofs
|
---|---|
Verantwortlichkeitsangabe: | ed. by Edsger W. Dijkstra |
Autor/in / Beteiligte Person: | Dijkstra, Edsger W. |
Verwandtes Werk: | |
Veröffentlichung: | Reading, Mass. [u.a.]: Addison-Wesley, 1990 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XIV, 242 S. : Ill., graph. Darst. |
ISBN: | 0201172372 : ¤ 33.75 |
Schlagwort: |
|
Sonstiges: |
|