Image from Amazon.com
Image from Google Jackets
Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
Material type:
TextSeries: Lecture notes in computer science ; 01680Publication details: Berlin; Springer-Verlag; 1999.Description: 276ISBN: - 3540664998
BOOKS
| Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| IMSc Library | 681 LNCS (Browse shelf(Opens below)) | Available | 51566 |
There are no comments on this title.
Log in to your account to post a comment.