IMSc Library catalog › Details for: Computer aided verification : 13th international conference; proceedings

Cover image

Normal view MARC view ISBD view

Computer aided verification : 13th international conference; proceedings

By: Berry, Gerard. Ed | Comon, Hubert. Ed | Finkel, Alain. . EdMaterial type: Text

Text

TextSeries: Lecture notes in computer science ; 02102Publication details: Berlin ; Springer-Verlag ; 2001Description: 520ISBN: 3540423451Subject(s): Automata- verification process Model checking

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		47094

Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	681 LNCS Computational Discrete Mathematics	681 LNCS Automata Implementation, 4th International Workshop, Germany, 1999	681 LNCS Recent Advances in Intrusion Detection, Proceedings of the 4th International Symposium, USA, 2001	681 LNCS Computer aided verification : 13th international conference; proceedings	681 LNCS Proof Theory in Computer Science, Proceedings of the International Seminar, Germany, 2001	681 LNCS Formal Methods and Performance Analysis : First Summer School, Netherlands, 2000	681 LNCS Modeling and Verification of Parallel Processes, 4th Summer School, France, 2000	Next

There are no comments on this title.

to post a comment.

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)

Share

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha