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,915 Discovery Miles 19 150
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...
Megadeth - The Sick, The Dying And The Dead (CD): Megadeth
The Sick, The Dying And The Dead
Megadeth CD  (2)
 R215 Discovery Miles 2 150
Genius NX-8008S Silent Click Wireless Mouse (Black):
Genius NX-8008S Silent Click Wireless…
R150 Discovery Miles 1 500
Management And Cost Accounting (Paperback, 11th edition): Colin Drury, Mike Tayles
Management And Cost Accounting
Colin Drury, Mike Tayles Paperback R1,967 Discovery Miles 19 670
Erasure - World Be Gone (CD): Erasure
World Be Gone
Erasure CD R185 R112 Discovery Miles 1 120
Sony PlayStation 5 Pulse 3D Wireless Headphones (Grey Camouflage):
Sony PlayStation 5 Pulse 3D Wireless…
R1,999 R1,899 Discovery Miles 18 990
Gangster - Ware Verhale Van Albei Kante Van Die Strydlyn (Afrikaans, Paperback): Carla van der Spuy
Gangster - Ware Verhale Van Albei Kante…
Carla van der Spuy Paperback R315 R271 Discovery Miles 2 710
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R398 R330 Discovery Miles 3 300
Ab Wheel:
Ab Wheel
R209 R149 Discovery Miles 1 490
Elecstor B22 7W Rechargeable LED Bulb (Cool White)(Pack of 6):
Elecstor B22 7W Rechargeable LED Bulb…
R399 R369 Discovery Miles 3 690
Puzzle Sets: Number Game:
Puzzle Sets: Number Game
R59 R56 Discovery Miles 560

 
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