Software abstractions logic, language and analysis
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Cambridge, Mass.
MIT Press
c2006.
|
Schlagworte: |
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Cambridge, Mass.
MIT Press
c2006.
|
Schlagworte: |