Tags
Language
Tags
<<
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4
  1. Home
  2. eBooks & eLearning

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (repost)

Posted By: Veslefrikk
Date: 25 Dec 2014 12:30:08
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (repost)

Corina S. Pasareanu "Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)"
Springer | English | 2009-07-01 | ISBN: 3642026516 | 297 pages | PDF | 4 MB

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.

Get More Interesting Ebooks >> Visit My Blog Now
nitroflare
IT
UPWARDS