Search:

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Format Post in Networking BY Matthew Dwyer

3540421246 Shared By Guest

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings Matthew Dwyer is available to download

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
Matthew Dwyer
Type: eBook
Released: 2001
Publisher: Springer
Page Count: 321
Format: pdf
Language: English
ISBN-10: 3540421246
ISBN-13: 9783540421245
Proceedings of the 8th Intl SPIN Workshop held in Toronto, Canada, May 2001.Model Checking Software: 8th ... Textbook Softcover.

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

You should be logged in to Download this Document. Membership is Required. Register here

Comments (0)

Currently,no comments for this book!