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...
Microsoft .NET Compact Framework Kick Start (Paperback): Erik Rubin, Ronnie Yates
Microsoft .NET Compact Framework Kick…
Erik Rubin, Ronnie Yates Paperback R985 R864 Discovery Miles 8 640
Lure of the Lake (Paperback): Art Coulson
Lure of the Lake
Art Coulson Paperback R200 R185 Discovery Miles 1 850
Enterprise Architecture for Connected E-Government - Practices and Innovations (Hardcover, New): Pallab Saha
Enterprise Architecture for Connected…
Pallab Saha Hardcover R4,680 Discovery Miles 46 800
Santa Claus is Comin' to Brawl! - And He's Bringing KM & Fallah Bahh (Hardcover): Francis Flores, Kevin McDonald
Santa Claus is Comin' to Brawl! - And…
Francis Flores, Kevin McDonald Hardcover R579 R533 Discovery Miles 5 330
Elemental (DVD):
Elemental
DVD R275 Discovery Miles 2 750
Open Season (English, Dutch, DVD): Martin Lawrence, Ashton Kutcher, Jon Favreau, Gary Sinise
Open Season
Martin Lawrence, Ashton Kutcher, … DVD  (2)
 R92 Discovery Miles 920
Noddy: The Rainbow Chaser (DVD):
Noddy: The Rainbow Chaser
DVD R115 Discovery Miles 1 150
Primary Thesaurus - Illustrated Thesaurus for Ages 7+ (Paperback): Collins Dictionaries
Primary Thesaurus - Illustrated…
Collins Dictionaries Paperback  (1)
 R318 R189 Discovery Miles 1 890
A Journey Of Diversity & Inclusion In South Africa - Guidelines For Leading Inclusively (Paperback): Nene Molefi
A Journey Of Diversity & Inclusion In…
Nene Molefi Paperback R388 Discovery Miles 3 880
Modeling as Negotiating - The Political Dynamics of Computer Models in the Policy Process (Hardcover): William H. Dutton, K.L....
Modeling as Negotiating - The Political…
William H. Dutton, K.L. Kraemer Hardcover R2,807 R2,541 Discovery Miles 25 410

 
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