Software abstractions : logic, language and analysis

Main Author: Jackson
Published: Cambridge, Mass.: MIT Press, 2006.
Subjects:

KOLEKSI TERBUKA

Call Number: QA 76.76 D47 J33
Accession Item Category Format Status Notes
1100046187 Open Shelf Book AVAILABLE