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...
Cabin of Memories and Other Short Stories (Paperback): Misan Akuya
Cabin of Memories and Other Short…
Misan Akuya Paperback R245 Discovery Miles 2 450
Control and Filtering for Semi-Markovian Jump Systems (Hardcover, 1st ed. 2017): Fanbiao Li, Peng Shi, Ligang Wu
Control and Filtering for Semi-Markovian…
Fanbiao Li, Peng Shi, … Hardcover R3,316 Discovery Miles 33 160
Life - Poems To Help Navigate Life's Many Twists & Turns (Hardcover): Donna Ashworth
Life - Poems To Help Navigate Life's…
Donna Ashworth Hardcover R250 R227 Discovery Miles 2 270
Weak Convergence Methods and Singularly Perturbed Stochastic Control and Filtering Problems (Hardcover, 1990 ed.): Harold...
Weak Convergence Methods and Singularly…
Harold Kushner Hardcover R1,545 Discovery Miles 15 450
Poems & Prayers (Hardcover): Matthew McConaughey
Poems & Prayers
Matthew McConaughey Hardcover R495 R442 Discovery Miles 4 420
Prisoner 913 - The Release Of Nelson Mandela (Paperback): Riaan de Villiers, Jan-Ad Stemmet
Prisoner 913 - The Release Of Nelson…
Riaan de Villiers, Jan-Ad Stemmet Paperback R542 Discovery Miles 5 420
Poems (Paperback): Edith M. David
Poems
Edith M. David Paperback R462 Discovery Miles 4 620
Fear - An Alternative History Of The World (Paperback): Robert Peckham
Fear - An Alternative History Of The…
Robert Peckham Paperback R727 R632 Discovery Miles 6 320
Tokyo Ever After (Paperback): Emiko Jean
Tokyo Ever After
Emiko Jean Paperback R230 Discovery Miles 2 300
The American Gardener's Assistant - in Three Parts. Containing Complete Practical Directions for the Cultivation of...
The American Gardener's Assistant - in…
Thomas Bridgeman Paperback R674 Discovery Miles 6 740

 
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