IMSc Library catalog › Details for: Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse,

Normal view MARC view ISBD view

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

TextSeries: Lecture notes in computer science ; 01680Publication details: Berlin ; Springer-Verlag ; 1999Description: 276ISBN: 3540664998Subject(s): Computer software Verification Congresses

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		51566

Previous								Next
Previous	681 LNCS Fundamentals of computation theory: 12th international symposium, FCT'99, Iasi, Romania, August 30-September 3, 1999 : proceedings	681 LNCS Mathematical foundations of computer science 1999	681 LNCS Randomization, approximation, and combinatorial optimization: algorithms and techniques 3rd International Workshop on Randomization & Approximation Techniques in Computer Science,	681 LNCS Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse,	681 LNCS Programming languages and systems: 9th European Symposium on Programming, ESOP 2000, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings	681 LNCS Distributed computing: 13th international symposium, DISC '99, Bratislava, Slovak Republic, September 27-29, 1999 : proceedings	681 LNCS STACS 2000: 17th annual symposium on theoretical aspects of computer science: Lille, France February 2000: proceedings	Next

There are no comments on this title.

to post a comment.