Normal view MARC view ISBD view

The Calculus of Computation Decision Procedures with Applications to Verification

Bradley,Aaron R.,

The Calculus of Computation Decision Procedures with Applications to Verification - 1st Ed. - New Delhi Springer 2010 - 366p. [08]

ISBN: 9788184893960

Dewey Class. No.: 004.015 / BRA/THE

Print
Add to your cart (remove)
Suggest for purchase
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

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

The Calculus of Computation Decision Procedures with Applications to Verification

Working Hours

Quick Links

Quick Contact

Useful Links