The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

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

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

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

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

Barnes and Noble
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, Proceedings

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, Proceedings

Barnes and Noble
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Barnes and Noble
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / Edition 1

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / Edition 1

Barnes and Noble
System Modeling and Optimization: Proceedings of the 21st IFIP TC7 Conference held in July 21st - 25th, 2003, Sophia Antipolis, France

System Modeling and Optimization: Proceedings of the 21st IFIP TC7 Conference held in July 21st - 25th, 2003, Sophia Antipolis, France

Barnes and Noble
Modeling in Computer Graphics: Proceedings of the IFIP WG 5.10 Working Conference Tokyo, Japan, April 8-12, 1991

Modeling in Computer Graphics: Proceedings of the IFIP WG 5.10 Working Conference Tokyo, Japan, April 8-12, 1991

Barnes and Noble
Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers

Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers

Barnes and Noble
Computational Kinematics '95: Proceedings of the Second Workshop on Computational Kinematics, held in Sophia Antipolis, France, September 4-6, 1995

Computational Kinematics '95: Proceedings of the Second Workshop on Computational Kinematics, held in Sophia Antipolis, France, September 4-6, 1995

Barnes and Noble
Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings / Edition 1

Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings / Edition 1

Barnes and Noble
Geometric Modeling and Processing - GMP 2006: 4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings / Edition 1

Geometric Modeling and Processing - GMP 2006: 4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings / Edition 1

Barnes and Noble
Compiler Construction: 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings

Compiler Construction: 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings

Barnes and Noble
Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / Edition 1

Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / Edition 1

Barnes and Noble
Component Deployment: Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings

Component Deployment: Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings

Barnes and Noble
System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

Barnes and Noble
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Barnes and Noble
Powered by Adeptmind