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...
DeepCool Z3 High Performance Thermal Compound (1.5g):
DeepCool Z3 High Performance Thermal…
 (1)
 R54 Discovery Miles 540
Moonfall (DVD): Halle Berry, Patrick Wilson, John Bradley, Donald Sutherland, Michael Pena
Moonfall
Halle Berry, Patrick Wilson, … DVD  (1)
 R441 Discovery Miles 4 410
Pentel Orenz AT Dual Grip Mechanical Pencil - Grey Barrel - 0.5mm, HB:
Pentel Orenz AT Dual Grip Mechanical…
R380 Discovery Miles 3 800
Omhels - 100 Oordenkings om te weet God hou jou naby (Afrikaans, Hardcover): Lysa Terkeurst
Omhels - 100 Oordenkings om te weet God…
Lysa Terkeurst Hardcover R249 R229 Discovery Miles 2 290
Mission Impossible 6: Fallout (Blu-ray disc): Tom Cruise, Henry Cavill, Rebecca Ferguson, Ving Rhames, Simon Pegg
Mission Impossible 6: Fallout
Tom Cruise, Henry Cavill, … Blu-ray disc  (1)
 R271 Discovery Miles 2 710
Elizabeth Arden Red Door Gift Set (3 Piece) - Parallel Import:
Elizabeth Arden Red Door Gift Set (3…
R899 Discovery Miles 8 990
Ed Sheeran - - (Subtract) (CD): Ed Sheeran
- (Subtract)
Ed Sheeran CD R128 Discovery Miles 1 280
Expensive Poverty - Why Aid Fails And How It Can Work (Paperback): Greg Mills
Expensive Poverty - Why Aid Fails And…
Greg Mills Paperback R360 R326 Discovery Miles 3 260
John C. Maxwell Undated Planner (Paperback):
John C. Maxwell Undated Planner
Paperback R469 R431 Discovery Miles 4 310
UHU Contact Liquid Glue (30g):
UHU Contact Liquid Glue (30g)
R37 Discovery Miles 370

 
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