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...
Microeconomics - South African Edition (Hardcover, 2nd edition): Gregory Mankiw, Mark Taylor, Ronney Ncwadi
Microeconomics - South African Edition
Gregory Mankiw, Mark Taylor, … Hardcover R577 Discovery Miles 5 770
Wild Hope - Healing Words To Find Light On Dark Days (Hardcover): Donna Ashworth
Wild Hope - Healing Words To Find Light…
Donna Ashworth Hardcover R299 R271 Discovery Miles 2 710
Motivating Students Who Don't Care - Proven Strategies to Engage All Learners (Paperback, 2nd ed.): Allen N. Mendler
Motivating Students Who Don't Care…
Allen N. Mendler Paperback R762 R661 Discovery Miles 6 610
Years Of Fire And Ash - South African Poems Of Decolonisation (Paperback): Wamuwi Mbao
Years Of Fire And Ash - South African…
Wamuwi Mbao Paperback R260 R232 Discovery Miles 2 320
Now That's a Good Question! - Now That's a Good Question! How to Promote Cognitive Rigor Through Classroom...
Now That's a Good Question! - Now That's…
Erik M Francis Paperback R722 R636 Discovery Miles 6 360
Teaching Mathematics in the Foundation Phase - Unisa Edition (Paperback): C. Meier, M Naude
Teaching Mathematics in the Foundation…
C. Meier, M Naude Paperback  (1)
 R261 Discovery Miles 2 610
Teaching English, Language and Literacy (Paperback, 3rd Edition): Dominic Wyse, Helen Bradford, John-Mark Winstanley
Teaching English, Language and Literacy
Dominic Wyse, Helen Bradford, … Paperback R708 Discovery Miles 7 080
Fostering Resilient Learners - Strategies for Creating a Trauma-Sensitive Classroom (Paperback): Kristin Souers, Pete Hall
Fostering Resilient Learners…
Kristin Souers, Pete Hall Paperback R795 R689 Discovery Miles 6 890
Narreskip - Gedigte (Afrikaans, Paperback): Johan Myburg
Narreskip - Gedigte
Johan Myburg Paperback R294 Discovery Miles 2 940
From Shade to Shine - New Poems (Paperback): Jill Pelaez Baumgaertner
From Shade to Shine - New Poems
Jill Pelaez Baumgaertner Paperback R426 R390 Discovery Miles 3 900

 
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