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...
Google Nest Audio Smart Speaker (Parallel Import)(Sage):
Google Nest Audio Smart Speaker…
R3,499 R2,899 Discovery Miles 28 990
Deadpool 2 - Super Duper Cut (Blu-ray disc): Ryan Reynolds
Deadpool 2 - Super Duper Cut
Ryan Reynolds Blu-ray disc R54 Discovery Miles 540
LocknLock Pet Dry Food Container (1.6L):
LocknLock Pet Dry Food Container (1.6L)
R109 R91 Discovery Miles 910
Mellerware Plastic Oscilating Floor Fan Heater with 2 Heat Settings (2000W)(White):
Mellerware Plastic Oscilating Floor Fan…
R549 R459 Discovery Miles 4 590
Aladdin (English & Foreign language, Blu-ray disc): Robin Williams, Scott Weinger, Linda Larkin, Jonathan Freeman, Gilbert...
Aladdin
Robin Williams, Scott Weinger, … Blu-ray disc R206 Discovery Miles 2 060
Bostik Prestik (50g):
Bostik Prestik (50g)
R22 Discovery Miles 220
Dig & Discover: Ancient Egypt - Excavate 2 Treasures (Kit): Hinkler Pty Ltd
Dig & Discover: Ancient Egypt - Excavate…
Hinkler Pty Ltd Kit R263 Discovery Miles 2 630
Dell E2222H 21.5" FHD Monitor:
Dell E2222H 21.5" FHD Monitor
R2,899 R1,949 Discovery Miles 19 490
Raz Tech Laptop Security Chain Cable Number Padlock (1.2m):
Raz Tech Laptop Security Chain Cable…
R299 R169 Discovery Miles 1 690
Slipknot - The End, So Far (CD): Slipknot
The End, So Far
Slipknot CD R498 Discovery Miles 4 980

 
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