Get Free Shipping on orders over $89
Lecture Notes in Computer Science : 9th International Conference, ABZ 2023, Nancy, France, May 30â"June 2, 2023, Proceedings - Dominique Mery
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

9th International Conference, ABZ 2023, Nancy, France, May 30â"June 2, 2023, Proceedings

By: Dominique Mery (Editor), Uwe Glasser (Editor), Philippe Palanque (Editor), Jose Creissac Campos (Editor)

Paperback | 15 May 2023

At a Glance

Paperback


$109.00

or 4 interest-free payments of $27.25 with

 or 

Ships in 5 to 7 business 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. 

More in Mathematical Theory of Computation

AI Engineering : Building Applications with Foundation Models - Chip Huyen
Discrete Mathematics for Computing : Grassroots - Peter Grossman

RRP $150.00

$117.75

21%
OFF
Nonlinear Analysis for Human Movement Variability - Aaron D. Likens

RRP $194.00

$171.75

11%
OFF
Mathematical Foundations of Deep Learning : Theory and Algorithms - Xiaojing Ye
Theory of Computation for Software Developers - Maxim  Mozgovoy

RRP $189.00

$167.75

11%
OFF
Introduction to Modern Cryptography : Revised Third Edition - Jonathan  Katz
Accelerating Graph Algorithms - Zhigao Zheng
Axiomatic Set Theory : An Introduction - George Tourlakis