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

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

Barnes and Noble
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: 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
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings / Edition 1

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

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
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
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
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992

Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992

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

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

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

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 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
System Modelling and Optimization: Proceedings of the Seventeenth IFIP TC7 Conference on System Modelling and Optimization, 1995

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 13th IFIP Conference Tokyo, Japan, August 31 - September 4, 1987

System Modelling and Optimization: Proceedings of the 13th IFIP Conference Tokyo, Japan, August 31 - September 4, 1987

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

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

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

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
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
Powered by Adeptmind