IMSc Library catalog › Details for: Spin model checking and software verification, proceedings of the 7th International workshop, stanford, 2000

Normal view MARC view ISBD view

Spin model checking and software verification, proceedings of the 7th International workshop, stanford, 2000

TextSeries: Lecture notes in computer science ; 01885Publication details: Berlin ; Springer ; 2000Description: 343ISBN: 3540410309Subject(s): Spin Model Checking Software Verification

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)

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

Previous								Next
Previous	681 LNCS Application and Theory of Petri Nets 2000, Proceedings of the 21st International Conference, Aarhus, Denmark, 2000	681 LNCS Computer Security - ESORICS 2000, Proceedings of the 6th European Symposium, France	681 LNCS Mathematical Foundations of Computer Science 2000, Proceedings of the 25th International Symposium, Slovakia, 2000	681 LNCS Spin model checking and software verification, proceedings of the 7th International workshop, stanford, 2000	681 LNCS Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, Proceedings of the International Conference, Japan, 2000	681 LNCS Advances in Cryptology, EUROCRYPT 2000 : Proceedings of the International Conference, Belgium	681 LNCS Information Security and Privacy, Proceedings of the 5th Australasian Conference, Brisbane, Australia, 2000	Next

There are no comments on this title.

to post a comment.