Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Paperback,... Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Paperback, Edition.)
Alex Groce, Madanlal Musuvathi
R1,724 Discovery Miles 17 240
Add to cart
Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Steam Down - Five Fruit (Vinyl record): Steam Down
Steam Down - Five Fruit
Steam Down Vinyl record R164 Discovery Miles 1 640
Yule - The Ultimate Guide to the Winter Solstice and How It's Celebrated in Wicca, Druidry, Christianity, and Paganism...
Yule - The Ultimate Guide to the Winter…
Mari Silva Hardcover R627 R566 Discovery Miles 5 660
Solve Problems - Learn How to Resolve Issues and Reach Your Goals (Paperback, 2nd Revised): Kate Keenan
Solve Problems - Learn How to Resolve…
Kate Keenan Paperback R146 Discovery Miles 1 460
Szilard Mezei Septet - Cet (CD): Szilard Mezei Septet
Cet
Szilard Mezei Septet CD R398 R113 Discovery Miles 1 130
Logical Thinking Process: A Systems Approach to Complex Problem Solving (Hardcover, 2nd ed.): H William Bettmer
Logical Thinking Process: A Systems…
H William Bettmer Hardcover R3,160 Discovery Miles 31 600
X-tra Wicked: Bobby Digital Reggae Anthology (Vinyl record): Various Artists
X-tra Wicked: Bobby Digital Reggae…
Various Artists Vinyl record R339 Discovery Miles 3 390
Positively 4Th Street - A Baby Boomer's Guide to the Promised Land (Hardcover): Joshua Simon Edd
Positively 4Th Street - A Baby Boomer's…
Joshua Simon Edd Hardcover R723 R647 Discovery Miles 6 470
Signal Processing for Active Control (Hardcover): Stephen Elliott
Signal Processing for Active Control
Stephen Elliott Hardcover R3,132 Discovery Miles 31 320
Chat Baker Sextet & Quartet (Vinyl record): Chet Baker Sextet & Quartet
Chat Baker Sextet & Quartet
Chet Baker Sextet & Quartet Vinyl record R398 R378 Discovery Miles 3 780
Paul Fox Collective - Breaking the Silence (CD): Paul Fox Collective
Breaking the Silence
Paul Fox Collective CD R113 Discovery Miles 1 130

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners