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

Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018,... Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (Paperback, 1st ed. 2018)
Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
R1,585 Discovery Miles 15 850
Add to cart
Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Fly Repellent ShooAway (Black)(4 Pack):
Fly Repellent ShooAway (Black)(4 Pack)
R1,396 R1,076 Discovery Miles 10 760
Elecstor 18W In-Line UPS (Black):
Elecstor 18W In-Line UPS (Black)
R999 R695 Discovery Miles 6 950
Tenet (Blu-ray disc): John David Washington, Robert Pattinson
Tenet
John David Washington, Robert Pattinson Blu-ray disc  (1)
 R50 Discovery Miles 500
Gym Towel & Bag:
Gym Towel & Bag
R95 R78 Discovery Miles 780
Microsoft Xbox Series Wireless Controller (Carbon Black):
Microsoft Xbox Series Wireless…
R1,699 R1,589 Discovery Miles 15 890
Baby Dove Shampoo Rich Moisture 200ml:
Baby Dove Shampoo Rich Moisture 200ml
R50 Discovery Miles 500
Adidas Hybrid 25 Boxing Gloves (Red):
Adidas Hybrid 25 Boxing Gloves (Red)
 (2)
 R491 R409 Discovery Miles 4 090
Goldair USB Fan (Black | 15cm):
Goldair USB Fan (Black | 15cm)
R150 Discovery Miles 1 500
ZA Cute Butterfly Earrings and Necklace Set - Silver:
ZA Cute Butterfly Earrings and Necklace…
R712 R499 Discovery Miles 4 990
Hiking Beyond Cape Town - 40 Inspiring Hikes Outside The City (Paperback): Nina du Plessis, Willie Olivier
Hiking Beyond Cape Town - 40 Inspiring…
Nina du Plessis, Willie Olivier Paperback R340 R266 Discovery Miles 2 660

 
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