Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Dive into the latest advances presented at the 15th International SPIN Workshop, where experts dissect model‑checking algorithms, discuss practical applications in safety‑critical systems, and outline emerging research trends.

View Products on eBay

eBay

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Related products