Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Binding:
Paperback
Number of Pages:
300
ISBN:
9783540281955
Product Group:
book
Publisher:
Springer
Publication Date:
Aug. 9, 2005
BooksForGeeks.com ID:
8153

Buy Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) from Amazon »

Reviews for Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

  1. There are currently no reviews

    Why not be the first to post a review?

CATEGORIES

Our Network

BooksForGeeks.com is a participant in the Amazon Europe S.à r.l. Associates Programme, an affiliate advertising programme designed to provide a means for sites to earn advertising fees by advertising and linking to amazon.co.uk