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,514 Discovery Miles 15 140
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...
Bennett Read Steam Iron (2200W):
Bennett Read Steam Iron (2200W)
R592 Discovery Miles 5 920
The Black Phone (DVD): Ethan Hawke, Jeremy Davies, Mason Thames
The Black Phone
Ethan Hawke, Jeremy Davies, … DVD R176 Discovery Miles 1 760
Bantex @School Modelling Clay (15g x 12 Colours)(180g):
Bantex @School Modelling Clay (15g x 12…
R23 Discovery Miles 230
Bunty 380GSM Golf Towel (30x50cm)(3 Piece)(Cream Birch):
Bunty 380GSM Golf Towel (30x50cm)(3…
R500 R255 Discovery Miles 2 550
Lucky Plastic 3-in-1 Nose Ear Trimmer Set (Black):
Lucky Plastic 3-in-1 Nose Ear Trimmer…
R299 R276 Discovery Miles 2 760
Kindle Wi-Fi 11th Gen 2022 eReader (Black) - with Special Offers + Cover:
Kindle Wi-Fi 11th Gen 2022 eReader…
R3,399 R2,979 Discovery Miles 29 790
Vital BabyŽ NURTURE? Protect & Care Nipple Shields:
Vital BabyŽ NURTURE™ Protect & Care…
R123 R95 Discovery Miles 950
Mission Impossible 6: Fallout (Blu-ray disc): Tom Cruise, Henry Cavill, Rebecca Ferguson, Ving Rhames, Simon Pegg
Mission Impossible 6: Fallout
Tom Cruise, Henry Cavill, … Blu-ray disc  (1)
 R131 R91 Discovery Miles 910
Fine Living Kendall Office Chair (Light Grey):
Fine Living Kendall Office Chair (Light…
R2,499 R1,629 Discovery Miles 16 290
Boucheron Boucheron Eau De Parfum Spray (100ml) - Parallel Import (USA):
Boucheron Boucheron Eau De Parfum Spray…
R3,444 R1,046 Discovery Miles 10 460

 
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