Software abstractions logic, language and analysis

Bibliographische Detailangaben
1. Verfasser: Jackson, Daniel
Format: Buch
Sprache:English
Veröffentlicht: Cambridge, Mass. MIT Press c2006.
Schlagworte: