Software abstractions : logic, language and analysis

Main Author: Jackson
Published: Cambridge, Mass.: MIT Press, 2006.
Subjects:
Physical Description:xvi, 350 p.: ill.; 24 cm..
ISBN:0262101149