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

Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings (1st... Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings (1st ed. 2023)
Uwe Glässer, Jose Croissac Campos, Dominique Méry, Philippe Palanque
R1,820 Discovery Miles 18 200
Add to cart
Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023.  The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. 

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Star Wars Episode 4: A New Hope (Blu-ray disc): Mark Hamill, Harrison Ford, Carrie Fisher, Alec Guinness
Star Wars Episode 4: A New Hope
Mark Hamill, Harrison Ford, … Blu-ray disc R426 R372 Discovery Miles 3 720
Igia Vibro Shape Belt:
Igia Vibro Shape Belt
R700 Discovery Miles 7 000
Rotatrim A3 White Paper Ream (80gsm)(500 Sheets):
Rotatrim A3 White Paper Ream (80gsm)(500…
R269 R242 Discovery Miles 2 420
SwitchEasy Shell Case for Samsung Galaxy S6 (Ultra Black):
SwitchEasy Shell Case for Samsung Galaxy…
 (2)
 R99 R61 Discovery Miles 610
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R367 R340 Discovery Miles 3 400
Casio LW-200-7AV Watch with 10-Year Battery:
Casio LW-200-7AV Watch with 10-Year…
R999 R899 Discovery Miles 8 990
Mountain Backgammon - The Classic Game Of Speed And Strategy: Lily Dyu
Mountain Backgammon - The Classic Game…
Lily Dyu R630 Discovery Miles 6 300
Dala Lino Carving & Printing Kit:
Dala Lino Carving & Printing Kit
R639 R602 Discovery Miles 6 020
Xbox One Replacement Case (XBox One):
Xbox One Replacement Case
 (8)
 R79 Discovery Miles 790
Nasty Women Talk Back - Feminist Essays On The Global Women's Marches (Paperback): Joy Watson
Nasty Women Talk Back - Feminist Essays…
Joy Watson Paperback  (2)
 R279 Discovery Miles 2 790

 
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