VLISP: a verified implementation of scheme
Boston [u.a.]: Kluwer Academic Publ, 1995
Sammelwerk, Gedruckte Ressource
- 184 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
VLISP: a verified implementation of scheme
|
---|---|
Verantwortlichkeitsangabe: | ed. by Joshua D. Guttman .. |
Autor/in / Beteiligte Person: | Guttman, Joshua D. |
Veröffentlichung: | Boston [u.a.]: Kluwer Academic Publ, 1995 |
Medientyp: | Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | 184 S. |
ISBN: | 0792395662 |
Schlagwort: |
|
Sonstiges: |
|