Software Abstractions: Logic, Language, and Analysis (OIP)
Manufacturer: MIT Press
Release date: 12 May 2006
ISBN-10 : 0262101149 | ISBN-13: 9780262101141
Release date: 12 May 2006
ISBN-10 : 0262101149 | ISBN-13: 9780262101141
Tags:
My tags:
Add tags