Sort by|

Model Checking

Uses item details. Price when purchased online

Model Checking Software, (Paperback) $54.99

current price $54.99

Model Checking Software, (Paperback)

Save with

Pre-Owned Model Checking (Hardcover) 0262032708 9780262032704

Principles of Model Checking, (Hardcover) $172.79

current price $172.79

Principles of Model Checking, (Hardcover)

Model Checking Software: 22nd International Symposium, Spin 2015, Stellenbosch, South Africa, August 24-26, 2015, Procee, (Paperback) $54.99

current price $54.99

Model Checking Software: 22nd International Symposium, Spin 2015, Stellenbosch, South Africa, August 24-26, 2015, Procee, (Paperback)

Save with

Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings, (Paperback) $38.94

current price $38.94

Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings, (Paperback)

Save with

Model Checking Software: 18th International Spin Workshop, Snowbird, Ut, Usa, July 14-15, 2011, Proceedings, (Paperback) $69.99

current price $69.99

Model Checking Software: 18th International Spin Workshop, Snowbird, Ut, Usa, July 14-15, 2011, Proceedings, (Paperback)

Save with

Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings, (Paperback) $54.99

current price $54.99

Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings, (Paperback)

Save with

Model Checking Software: 15th International Spin Workshop, Los Angeles, Ca, Usa, August 10-12, 2008, Proceedings, (Paperback) $54.99

current price $54.99

Model Checking Software: 15th International Spin Workshop, Los Angeles, Ca, Usa, August 10-12, 2008, Proceedings, (Paperback)

Save with

Model Checking Software: 20th International Symposium, Spin 2013, Stony Brook, Ny, Usa, July 8-9, 2013, Proceedings, (Paperback) $54.99

current price $54.99

Model Checking Software: 20th International Symposium, Spin 2013, Stony Brook, Ny, Usa, July 8-9, 2013, Proceedings, (Paperback)

Save with

Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings, (Paperback) $54.99

current price $54.99

Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings, (Paperback)

Save with

Model Checking Software: 23rd International Symposium, Spin 2016, Co-Located with Etaps 2016, Eindhoven, the Netherlands, (Paperback) $54.99

current price $54.99

Model Checking Software: 23rd International Symposium, Spin 2016, Co-Located with Etaps 2016, Eindhoven, the Netherlands, (Paperback)

Save with

25 Years of Model Checking: History, Achievements, Perspectives, (Paperback) $37.99

current price $37.99

25 Years of Model Checking: History, Achievements, Perspectives, (Paperback)

Save with

Improving Scalability of Model Checking Software Architectures (Paperback) $51.83

current price $51.83

Improving Scalability of Model Checking Software Architectures (Paperback)

Model Checking Abstract State Machines (Paperback) $88.46

current price $88.46

Model Checking Abstract State Machines (Paperback)

Save with

Symbolic Model Checking, (Paperback) $54.99

current price $54.99

Symbolic Model Checking, (Paperback)

Save with

Model Checking and Artificial Intelligence: 6th International Workshop, Mochart 2010, Atlanta, Ga, Usa, July 11, 2010, R, (Paperback) $54.99

current price $54.99

Model Checking and Artificial Intelligence: 6th International Workshop, Mochart 2010, Atlanta, Ga, Usa, July 11, 2010, R, (Paperback)

Save with

Model Checking Quantum Systems: Principles and Algorithms, (Hardcover) $45.46

current price $45.46

Model Checking Quantum Systems: Principles and Algorithms, (Hardcover)

Save with

Symbolic Model Checking, (Hardcover) $82.02

current price $82.02

Symbolic Model Checking, (Hardcover)

Save with

Model Checking Software: 25th International Symposium, Spin 2018, Malaga, Spain, June 20-22, 2018, Proceedings, (Paperback) $49.82

current price $49.82

Model Checking Software: 25th International Symposium, Spin 2018, Malaga, Spain, June 20-22, 2018, Proceedings, (Paperback)

Save with

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV Riva del Garda, Italy, August 29, 2006 Revised Sele, (Paperback) $32.59

current price $32.59

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV Riva del Garda, Italy, August 29, 2006 Revised Sele, (Paperback)

Save with

Model Checking Software: 13th International Spin Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, (Paperback) $54.99

current price $54.99

Model Checking Software: 13th International Spin Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, (Paperback)

Save with

Model Checking Software: 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings, (Paperback) $60.29 Was $72.36

current price Now $60.29, Was $72.36

Model Checking Software: 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings, (Paperback)

Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, (Paperback) $54.99

current price $54.99

Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, (Paperback)

Save with

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, Vmcai 2014, San Diego, Ca, Usa, (Paperback) $48.77

current price $48.77

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, Vmcai 2014, San Diego, Ca, Usa, (Paperback)

Save with

Model Checking Software: 19th International Spin Workshop, Oxford, Uk, July 23-24, 2012. Proceedings, (Paperback) $72.00

current price $72.00

Model Checking Software: 19th International Spin Workshop, Oxford, Uk, July 23-24, 2012. Proceedings, (Paperback)

Save with

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Rev, (Paperback) $54.99

current price $54.99

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Rev, (Paperback)

Save with

Systems and Software Verification: Model-Checking Techniques and Tools, (Paperback) $127.77

current price $127.77

Systems and Software Verification: Model-Checking Techniques and Tools, (Paperback)

Save with

Verification, Model Checking, and Abstract Interpretation, (Paperback) $54.99

current price $54.99

Verification, Model Checking, and Abstract Interpretation, (Paperback)

Save with

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, Vmcai 2009, Savannah, Ga, Usa,, (Paperback) $54.99

current price $54.99

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, Vmcai 2009, Savannah, Ga, Usa,, (Paperback)

Save with

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, U, (Paperback) $75.43 Was $89.99

current price Now $75.43, Was $89.99

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, U, (Paperback)

Save with

Systems and Software Verification: Model-Checking Techniques and Tools, (Hardcover) $132.18

current price $132.18

Systems and Software Verification: Model-Checking Techniques and Tools, (Hardcover)

Save with

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, , (Paperback) $98.45

current price $98.45

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, , (Paperback)

Save with

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, Vmcai 2005, Paris, France, Janu, (Paperback) $54.99

Options

current price $54.99

From $53.84

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, Vmcai 2005, Paris, France, Janu, (Paperback)

Save with

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, Vmcai 2013, Rome, Italy, Janua, (Paperback) $54.99

current price $54.99

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, Vmcai 2013, Rome, Italy, Janua, (Paperback)

Save with

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, Vmcai 2006, Charleston, Sc, Usa, (Paperback) $54.99

current price $54.99

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, Vmcai 2006, Charleston, Sc, Usa, (Paperback)

Save with

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, Vmcai 2011, Austin, Tx, Usa, J, (Paperback) $54.99

current price $54.99

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, Vmcai 2011, Austin, Tx, Usa, J, (Paperback)

Save with

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, Vmcai 2017, Paris, France, Jan, (Paperback) $54.99

current price $54.99

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, Vmcai 2017, Paris, France, Jan, (Paperback)

Save with

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, Vmcai 2008, San Francisco, Usa,, (Paperback) $35.67

current price $35.67

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, Vmcai 2008, San Francisco, Usa,, (Paperback)

Save with

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, Vmcai 2016, St. Petersburg, Fl, (Paperback) $54.99

current price $54.99

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, Vmcai 2016, St. Petersburg, Fl, (Paperback)

Save with

Stochastic Model Checking: International Autumn School, Rocks 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures, (Paperback) $54.99

current price $54.99

Stochastic Model Checking: International Autumn School, Rocks 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures, (Paperback)

Save with

Rollbacks & more

Easter

Grocery

Clothing, Shoes, & Accessories

Baby & Kids

Pharmacy, Health & Wellness

Home, Garden & Tools

Electronics

Gaming

Auto & Tires

Personal Care

Beauty

Toys & Outdoor Play

Household Essentials

Pet Supplies

School, Office & Art Supplies

Sports & Outdoors

Books, Movies, & Music

Party Supplies

Auto Care Services

Pharmacy

Health Services

Vaccines

Vision Center

Benefit Programs

Insurance Services

Lists

Registries

Gift Cards

Spark Good

Custom Cakes

Custom Cupcakes

Featured

Photo Gifts

OnePay Hub

Money & Other Services

Gift Cards

Protection Services

Home & Tech Services

Subscriptions

Subscription Products

Walmart Business

Industry solutions

It’s easier in the app

Pickup & Delivery

Get inspired

Model Checking(80)

Model Checking Software, (Paperback) $54.99

Model Checking Software, (Paperback)

Pre-Owned Model Checking (Hardcover) 0262032708 9780262032704

Pre-Owned Model Checking (Hardcover) 0262032708 9780262032704

Principles of Model Checking, (Hardcover) $172.79

Principles of Model Checking, (Hardcover)

Model Checking Software: 22nd International Symposium, Spin 2015, Stellenbosch, South Africa, August 24-26, 2015, Procee, (Paperback) $54.99

Model Checking Software: 22nd International Symposium, Spin 2015, Stellenbosch, South Africa, August 24-26, 2015, Procee, (Paperback)

Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings, (Paperback) $38.94

Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings, (Paperback)

Model Checking Software: 18th International Spin Workshop, Snowbird, Ut, Usa, July 14-15, 2011, Proceedings, (Paperback) $69.99

Model Checking Software: 18th International Spin Workshop, Snowbird, Ut, Usa, July 14-15, 2011, Proceedings, (Paperback)

Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings, (Paperback) $54.99

Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings, (Paperback)

Model Checking Software: 15th International Spin Workshop, Los Angeles, Ca, Usa, August 10-12, 2008, Proceedings, (Paperback) $54.99

Model Checking Software: 15th International Spin Workshop, Los Angeles, Ca, Usa, August 10-12, 2008, Proceedings, (Paperback)

Model Checking Software: 20th International Symposium, Spin 2013, Stony Brook, Ny, Usa, July 8-9, 2013, Proceedings, (Paperback) $54.99

Model Checking Software: 20th International Symposium, Spin 2013, Stony Brook, Ny, Usa, July 8-9, 2013, Proceedings, (Paperback)

Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings, (Paperback) $54.99

Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings, (Paperback)

Model Checking Software: 23rd International Symposium, Spin 2016, Co-Located with Etaps 2016, Eindhoven, the Netherlands, (Paperback) $54.99

Model Checking Software: 23rd International Symposium, Spin 2016, Co-Located with Etaps 2016, Eindhoven, the Netherlands, (Paperback)

25 Years of Model Checking: History, Achievements, Perspectives, (Paperback) $37.99

25 Years of Model Checking: History, Achievements, Perspectives, (Paperback)

Improving Scalability of Model Checking Software Architectures (Paperback) $51.83

Improving Scalability of Model Checking Software Architectures (Paperback)

Model Checking Abstract State Machines (Paperback) $88.46

Model Checking Abstract State Machines (Paperback)

Symbolic Model Checking, (Paperback) $54.99

Symbolic Model Checking, (Paperback)

Model Checking and Artificial Intelligence: 6th International Workshop, Mochart 2010, Atlanta, Ga, Usa, July 11, 2010, R, (Paperback) $54.99

Model Checking and Artificial Intelligence: 6th International Workshop, Mochart 2010, Atlanta, Ga, Usa, July 11, 2010, R, (Paperback)

Model Checking Quantum Systems: Principles and Algorithms, (Hardcover) $45.46

Model Checking