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

Home

Barnes and Noble

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, 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: 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: 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
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

Barnes and Noble
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

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
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: 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
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
Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings

Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings

Barnes and Noble
Nonlinear Modeling and Applications, Volume 2: Proceedings of the 28th IMAC, A Conference on Structural Dynamics, 2010 / Edition 1

Nonlinear Modeling and Applications, Volume 2: Proceedings of the 28th IMAC, A Conference on Structural Dynamics, 2010 / Edition 1

Barnes and Noble
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / Edition 1

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 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

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

Barnes and Noble
Computational Design Modeling: Proceedings of the Design Modeling Symposium Berlin 2011

Computational Design Modeling: Proceedings of the Design Modeling Symposium Berlin 2011

Barnes and Noble
Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, Proceedings

Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, Proceedings

Barnes and Noble
Progress in Scale Modeling, Volume II: Selections from the International Symposia on Scale Modeling, ISSM VI (2009) and ISSM VII (2013)

Progress in Scale Modeling, Volume II: Selections from the International Symposia on Scale Modeling, ISSM VI (2009) and ISSM VII (2013)

Barnes and Noble
Powered by Adeptmind