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...
Set Theory for Physicists (Paperback): Nicolas A Pereyra
Set Theory for Physicists
Nicolas A Pereyra Paperback R750 Discovery Miles 7 500
Bullsh!t - 50 Fibs That Made South Africa (Paperback): Jonathan Ancer
Bullsh!t - 50 Fibs That Made South…
Jonathan Ancer Paperback  (2)
 R280 R250 Discovery Miles 2 500
Iron Flame - The Empyrean: Book 2 (Hardcover): Rebecca Yarros
Iron Flame - The Empyrean: Book 2
Rebecca Yarros Hardcover R635 R586 Discovery Miles 5 860
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
Black Bones, Red Earth (Hardcover): Lee Richie
Black Bones, Red Earth
Lee Richie Hardcover R706 Discovery Miles 7 060
Anderkant Die Blou (Afrikaans, Paperback): Zelda Bezuidenhout
Anderkant Die Blou
Zelda Bezuidenhout Paperback R170 R152 Discovery Miles 1 520
A Select Library of the Nicene and Post-Nicene Fathers of the Christian Church, First Series, Volume 9 (Hardcover): Philip...
A Select Library of the Nicene and…
Philip Schaff Hardcover R1,752 R1,445 Discovery Miles 14 450
For One More Day (Paperback): Mitch Albom
For One More Day
Mitch Albom Paperback  (2)
 R310 R280 Discovery Miles 2 800
Onyx Storm - The Empyrean: Book 3 (Paperback): Rebecca Yarros
Onyx Storm - The Empyrean: Book 3
Rebecca Yarros Paperback  (1)
 R450 R402 Discovery Miles 4 020
A Hibiscus Coast (Paperback): Nick Mulgrew
A Hibiscus Coast
Nick Mulgrew Paperback R290 R268 Discovery Miles 2 680

 
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