Software Abstractions : Logic, Language, and Analysis

Danniel Jackson

Software Abstractions : Logic, Language, and Analysis - London The MIT Press 2006

0262101149

005.1

Powered by Koha