Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) - ISBN:3540851135 - Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues).rar - Download Links - Free eBooks Download! eBooks,Magazines,Torrent.

Advertising

Sponsored link:

File size : 11.3 MB