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 - 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings (Paperback, 2012 ed.):... Model Checking Software - 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings (Paperback, 2012 ed.)
Alastair Donaldson, David Parker
R1,793 Discovery Miles 17 930
Add to cart
Ships in 18 - 22 working days

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Forest Green Flexcover NIV Bible (Paperback):
Forest Green Flexcover NIV Bible
Paperback R279 R258 Discovery Miles 2 580
Caraval: 4-Book Collection - Caraval / Legendary / Finale / Spectacular (Hardcover, Boxed set): Stephanie Garber
Caraval: 4-Book Collection - Caraval…
Stephanie Garber Hardcover R2,535 R1,963 Discovery Miles 19 630
NIV Bible Compact Vinyl Blush Pink (Paperback):
NIV Bible Compact Vinyl Blush Pink
Paperback R319 R294 Discovery Miles 2 940
Us versus Them - Race, Crime, and Gentrification in Chicago Neighborhoods (Hardcover): Jan Doering
Us versus Them - Race, Crime, and…
Jan Doering Hardcover R2,693 Discovery Miles 26 930
Falling Monuments, Reluctant Ruins - The Persistence Of The Past In The Architecture Of Apartheid (Paperback): Hilton Judin
Falling Monuments, Reluctant Ruins - The…
Hilton Judin Paperback R420 R388 Discovery Miles 3 880
An Essay Concerning Human Understanding (Paperback): John Locke
An Essay Concerning Human Understanding
John Locke Paperback R607 Discovery Miles 6 070
Koning Eenoog - 'n Migranteverhaal (Afrikaans, Paperback): Toef Jaeger
Koning Eenoog - 'n Migranteverhaal
Toef Jaeger Paperback R146 Discovery Miles 1 460
Secret Power - The Secret of Success in Christian Life and Work (Easy to Read Layout) (Large print, Hardcover, Large type /...
Secret Power - The Secret of Success in…
D.L. Moody Hardcover R520 Discovery Miles 5 200
Nobody's Fool (Paperback): Harlan Coben
Nobody's Fool
Harlan Coben Paperback R395 R353 Discovery Miles 3 530
The Greatest Story Ever Told - An Eyewitness Account (Hardcover): Bear Grylls
The Greatest Story Ever Told - An…
Bear Grylls Hardcover R410 R366 Discovery Miles 3 660

 
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