Software Abstractions
Subtitle: Logic, Language, and Analysis
Publisher: MIT Press
Published: 2011
Language: eng
Number of pages: 376
ISBN-13: 9780262300230