Normal view MARC view ISBD view

Scaling up property checking (R)

Shrawankumar

Scaling up property checking (R) - Bombay IIT 2019 - xviii,164 p. 30 cm

Thesis

Subjects--Topical Terms:
Theses and Dissertations
Computer programming
Computer programs--Verification
Computer algorithms
Verification(Logic)
Compilers(Computer programs)

Universal Decimal Class. No.: 043:681.3.06 / Shr

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)