Normal view MARC view ISBD view

Parameterised merging of heap abstractions (R)

Nema, Kanika

Parameterised merging of heap abstractions (R) - - Mumbai IIT 2007 - 38 p. 30 cm - .

ISBN:

Subjects--Topical Terms:
Chakraborty, Supratik
Theses and Dissertations
Computer software-Verification , Computer programs-Verification

Universal Decimal Class. No.: 043:681.3.06Nem

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)