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

NASA Formal Methods - 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Paperback,... NASA Formal Methods - 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Paperback, 2013 ed.)
Guillaume Brat, Neha Rungta, Arnaud Venet
R1,532 Discovery Miles 15 320
Add to cart
Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Northman (Blu-ray disc): Alexander Skarsgard, Nicole Kidman, Anya Taylor-Joy, Ethan Hawke, Willem Dafoe, Bjork
The Northman
Alexander Skarsgard, Nicole Kidman, … Blu-ray disc  (1)
 R210 Discovery Miles 2 100
Mountain Backgammon - The Classic Game Of Speed And Strategy: Lily Dyu
Mountain Backgammon - The Classic Game…
Lily Dyu R575 R460 Discovery Miles 4 600
Conwood Juliet Vanity Case (Black):
Conwood Juliet Vanity Case (Black)
R606 Discovery Miles 6 060
Be Still And Know That I Am God Pet Notepad (Paperback):
Be Still And Know That I Am God Pet…
Paperback R35 R29 Discovery Miles 290
Ultra Link UL-WM602DB Wireless Optical Mouse (Black):
Ultra Link UL-WM602DB Wireless Optical…
 (1)
 R92 Discovery Miles 920
Dala A2 Sketch Pad (120gsm)(36 Sheets):
Dala A2 Sketch Pad (120gsm)(36 Sheets)
R260 Discovery Miles 2 600
Home Classix Placemats - Geometric Grandeur (Set of 4) (43.5 x 28.2cm):
Home Classix Placemats - Geometric…
R59 R51 Discovery Miles 510
Die Wonder Van Die Skepping - Nog 100 Dagstukkies Oor God & Wetenskap (Afrikaans, Hardcover): Louie Giglio
Die Wonder Van Die Skepping - Nog 100…
Louie Giglio Hardcover R279 R210 Discovery Miles 2 100
Man Alone - Mandela's Top Cop, Exposing South Africa's Ceaseless Sabotage (Paperback): Caryn Dolley
Man Alone - Mandela's Top Cop, Exposing…
Caryn Dolley Paperback R310 R225 Discovery Miles 2 250
Zap! Air Dry Pottery Kit (Kit):
Zap! Air Dry Pottery Kit
Kit R250 R195 Discovery Miles 1 950

 
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