Software Abstractions
Subtitle: Logic, Language, and Analysis
Publisher: MIT Press
Published: 2016
Language: eng
Number of pages: 376
ISBN-13: 9780262528900
Subjects: Computer software, development