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...
Democracy Works - Re-Wiring Politics To Africa's Advantage (Paperback): Greg Mills, Olusegun Obasanjo, Jeffrey Herbst,...
Democracy Works - Re-Wiring Politics To…
Greg Mills, Olusegun Obasanjo, … Paperback R320 R290 Discovery Miles 2 900
Always Remember (Hardcover): Stephanie Huber
Always Remember
Stephanie Huber Hardcover R408 R387 Discovery Miles 3 870
Cuito Cuanavale - 12 Months Of War That Transformed A Continent (Paperback): Fred Bridgland
Cuito Cuanavale - 12 Months Of War That…
Fred Bridgland Paperback  (4)
 R320 R286 Discovery Miles 2 860
Isikhumba Esikuso - Ihlombe Ngeguqu-Nguquko Ekudaleka Kwebala Lesikhumba (Xhosa, Paperback): Sindiwe Magona, Nina G. Jablonski
Isikhumba Esikuso - Ihlombe…
Sindiwe Magona, Nina G. Jablonski Paperback R277 Discovery Miles 2 770
International Brigade Against Apartheid - Secrets Of The People's War That Liberated South Africa (Paperback): Ronnie...
International Brigade Against Apartheid…
Ronnie Kasrils, Muff Andersson, … Paperback R320 R295 Discovery Miles 2 950
Epic Land - Namibia Exposed (Hardcover, 2nd Edition): Amy Schoeman
Epic Land - Namibia Exposed
Amy Schoeman Hardcover R556 Discovery Miles 5 560
Crossroads - I Live Where I Like (Paperback): Koni Benson
Crossroads - I Live Where I Like
Koni Benson Paperback R280 R259 Discovery Miles 2 590
The Seed Is Mine - The Life Of Kas Maine, A South African Sharecropper (Paperback, Revised Edition): Charles Van Onselen
The Seed Is Mine - The Life Of Kas…
Charles Van Onselen Paperback R380 R339 Discovery Miles 3 390
I'm Calm - A book to help kids overcome anxiety and stressful situations (Hardcover): Jayneen Sanders
I'm Calm - A book to help kids overcome…
Jayneen Sanders Hardcover R492 Discovery Miles 4 920
I Don't Want to Move (Hardcover): Carolyn Watkins
I Don't Want to Move
Carolyn Watkins Hardcover R496 Discovery Miles 4 960

 
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