Normal view MARC view ISBD view

Software abstractions: Logic, language and analysis

Material type: materialTypeLabel

BookPublisher: Cambridge; Massachusetts MIT Press 2006Description: xvi, 350p.ISBN: 0-262-10114-9.

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Item type	Current location	Call number	Status	Date due	Barcode
		005.1 JAC (Browse shelf)	Available		502404

Previous								Next
Previous	005.1 IEE ICGSE 2008 : 2008 3rd IEEE International Conference on Global Software Engineering : proceedings : 17-20 August 2008, Bangalore, India.	005.1 IEE ICGSE 2008 : 2008 3rd IEEE International Conference on Global Software Engineering : proceedings : 17-20 August 2008, Bangalore, India.	005.1 JAC The Unified software development process	005.1 JAC Software abstractions: Logic, language and analysis	005.1 JAC The essentials of modern software engineering: Free the practices from the method prisons!	005.1 JAI Open source software: A revolution in the making	005.1 JAL An integrated approach to software engineering	Next

There are no comments for this item.

IIITB Library