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

Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22,... Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Paperback, 1st ed. 2016)
Marcio Cornelio, Bill Roscoe
R1,843 Discovery Miles 18 430
Add to cart
Ships in 10 - 15 working days

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Vital BabyŽ HYDRATE? Easy Sipper? Cup with Handles (260ml) (Supplied colour may vary):
Vital BabyŽ HYDRATE™ Easy Sipper™ Cup…
R158 R149 Discovery Miles 1 490
Dunlop Pro Padel Balls (Green)(Pack of 3):
Dunlop Pro Padel Balls (Green)(Pack of…
R199 R165 Discovery Miles 1 650
Sunbeam Steam and Spray Iron:
Sunbeam Steam and Spray Iron
R270 Discovery Miles 2 700
Marco Cellphone Ring & Stand [Black]:
Marco Cellphone Ring & Stand [Black]
R59 R29 Discovery Miles 290
Bait - To Catch A Killer (Paperback): Janine Lazarus
Bait - To Catch A Killer
Janine Lazarus Paperback R320 R275 Discovery Miles 2 750
Bantex B9875 A5 Record Card File Box (Blue):
Bantex B9875 A5 Record Card File Box…
 (1)
 R125 R112 Discovery Miles 1 120
Salton S1I260 Perfect Temperature Iron (1100w):
Salton S1I260 Perfect Temperature Iron…
R269 R252 Discovery Miles 2 520
ZA Body Shaper Slimming Underwear - Tan (XL2XL):
ZA Body Shaper Slimming Underwear - Tan…
R570 R399 Discovery Miles 3 990
Wonka (Blu-ray disc): Timothee Chalamet
Wonka
Timothee Chalamet Blu-ray disc R250 R190 Discovery Miles 1 900
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R205 R164 Discovery Miles 1 640

 
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