Software Abstractions
Subtitle: Logic, Language and Analysis
Publisher: MIT Press
Published: 2006
Language: eng
ISBN-13: 9781423769835
Subjects: Computer software, development