Normal view MARC view ISBD view

Formal Verification of saftey Critical Software for Human Spaceflight Programme using PVS theorem Prover

Shani Raj

Formal Verification of saftey Critical Software for Human Spaceflight Programme using PVS theorem Prover - Kochi 22 Department of Computer Science,CUSAT 2010 - 95p.

Dewey Class. No.: 4889

Print
Add to your cart (remove)
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)