IMSc Library catalog › ISBD view

Normal view MARC view ISBD view

Havelund, Klaus. Ed. Penix, John. Ed. Visser, Willem. Ed.

Spin model checking and software verification, proceedings of the 7th International workshop, stanford, 2000 - Berlin Springer 2000 - 343 - Lecture notes in computer science ; 01885 .

ISBN: 3540410309

Subjects--Topical Terms:
Spin Model Checking
Software Verification

Universal Decimal Class. No.: 681 LNCS

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

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