Software abstractions: logic, language, and analysis
Rev. ed.. - Cambridge, Mass. [u.a.]: MIT Press, 2012
Monographie, Gedruckte Ressource
- XVIII, 354 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Software abstractions: logic, language, and analysis
|
---|---|
Verantwortlichkeitsangabe: | Daniel Jackson |
Autor/in / Beteiligte Person: | Jackson, Daniel |
Link: | |
Ausgabe: | Rev. ed. |
Veröffentlichung: | Cambridge, Mass. [u.a.]: MIT Press, 2012 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XVIII, 354 S. : graph. Darst. |
ISBN: | 9780262017152 hc |
Schlagwort: |
|
Sonstiges: |
|