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

Home

Barnes and Noble

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

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

You May Also Like

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

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

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

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

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

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

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

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

From Barnes and Noble
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings / Edition 1
Barnes and Noble

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings / Edition 1

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

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

From 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
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

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

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

From Barnes and Noble
Foundations of Intelligent Systems: 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings / Edition 1
Barnes and Noble

Foundations of Intelligent Systems: 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings / Edition 1

From Barnes and Noble
System Modelling and Optimization: Methods, Theory and Applications. 19th IFIP TC7 Conference on System Modelling and Optimization July 12-16, 1999, Cambridge, UK
Barnes and Noble

System Modelling and Optimization: Methods, Theory and Applications. 19th IFIP TC7 Conference on System Modelling and Optimization July 12-16, 1999, Cambridge, UK

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

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

From Barnes and Noble
System Modelling and Optimization: Proceedings of the Seventeenth IFIP TC7 Conference on System Modelling and Optimization, 1995
Barnes and Noble

System Modelling and Optimization: Proceedings of the Seventeenth IFIP TC7 Conference on System Modelling and Optimization, 1995

From Barnes and Noble
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Barnes and Noble

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

From Barnes and Noble
Optimization-Based Computer-Aided Modelling and Design: Proceedings of the First Working Conference of the IFIP TC 7.6 Working Group, The Hague, The Netherlands, 1991
Barnes and Noble

Optimization-Based Computer-Aided Modelling and Design: Proceedings of the First Working Conference of the IFIP TC 7.6 Working Group, The Hague, The Netherlands, 1991

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

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

From Barnes and Noble
Geometric Modeling and Processing - GMP 2006: 4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, 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

From Barnes and Noble
Powered by Adeptmind