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,865 Discovery Miles 18 650
Add to cart
Ships in 10 - 15 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...
The English Works of Thomas Hobbes of Malmesbury (Paperback): Thomas Hobbes
The English Works of Thomas Hobbes of…
Thomas Hobbes Paperback R715 Discovery Miles 7 150
Gode Van Papier (Afrikaans, Paperback): Cas Vos
Gode Van Papier
Cas Vos Paperback R61 Discovery Miles 610
Encyclopedia of Petroleum: Biotechnology and Its Environmental Applications (Volume I) (Hardcover): Andy Margo, Michael Dedini
Encyclopedia of Petroleum: Biotechnology…
Andy Margo, Michael Dedini Hardcover R3,134 Discovery Miles 31 340
A Collection of Insights Flowing from The Book of Mormon (Hardcover): A. Keith Thompson
A Collection of Insights Flowing from…
A. Keith Thompson Hardcover R2,525 Discovery Miles 25 250
Natural Gas Technology: Volume I (Hardcover): Oliver Haghi
Natural Gas Technology: Volume I
Oliver Haghi Hardcover R3,284 R2,968 Discovery Miles 29 680
The Discipline of Sorrow (Paperback): William G. Eliot
The Discipline of Sorrow
William G. Eliot Paperback R400 Discovery Miles 4 000
From Shade to Shine - New Poems (Paperback): Jill Pelaez Baumgaertner
From Shade to Shine - New Poems
Jill Pelaez Baumgaertner Paperback R462 R424 Discovery Miles 4 240
Digital Terrestrial Broadcasting Networks (Hardcover, 2009 ed.): Roland Beutler
Digital Terrestrial Broadcasting…
Roland Beutler Hardcover R2,903 Discovery Miles 29 030
Journal of the Bombay Branch of the Royal Asiatic Society (Paperback): Asiatic Society of Bombay
Journal of the Bombay Branch of the…
Asiatic Society of Bombay Paperback R676 Discovery Miles 6 760
Researches Into the History of the Roman Constitution - With an Appendix Upon the Roman Knights (Paperback): Wilhelm Ihne
Researches Into the History of the Roman…
Wilhelm Ihne Paperback R488 Discovery Miles 4 880

 
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