Explore
 Lists  Reviews  Images  Update feed
Categories
MoviesTV ShowsMusicBooksGamesDVDs/Blu-RayPeopleArt & DesignPlacesWeb TV & PodcastsToys & CollectiblesComic Book SeriesBeautyAnimals   View more categories »
Listal logo

Software Abstractions: Logic, Language, and Analysis (OIP)

Manufacturer: MIT Press
Release date: 12 May 2006
ISBN-10 : 0262101149 | ISBN-13: 9780262101141
Tags: Prog (1), Logic (1), Prog-lang (1)
My tags: Add tags