Software Abstractions : Logic, Language, and Analysis
Danniel Jackson
Software Abstractions : Logic, Language, and Analysis - London The MIT Press 2006
0262101149
005.1
Software Abstractions : Logic, Language, and Analysis - London The MIT Press 2006
0262101149
005.1