Rigorous State-Based Methods : 12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings - Alcino Cunha

Instant online reading.
Don't wait for delivery!
Go digital and save!

Rigorous State-Based Methods

12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings

By: Alcino Cunha (Editor), Fuyuki Ishikawa (Editor)

Write A Review

Paperback | 22 May 2026

At a Glance

Paperback
362 Pages

Dimensions(cm)
23.5 x 15.5 x 1.91

Paperback

$217.99

or 4 interest-free payments of $54.50 with

Ships in 5 to 10 business days

This book constitutes the refereed proceedings of the 12th International Conference on Rigorous State-Based Methods, ABZ 2026, held in Tokyo, Japan, during May 2026.

The 15 full papers, 3 short papers and 2 ABZ 2026 case study papers presented in this book were carefully reviewed and selected from 25 submissions.

The ABZ conference series is dedicated to the cross-fertilization of state-based and machine-based formal methods. Abstract State Machines (ASM), Alloy, B, TLA, VDM, and Z are examples of these methods. They share a common conceptual foundation and are widely used in both academia and industry for the rigorous design and analysis of hardware and software systems. The ABZ conferences aim to be a forum for the vital exchange of knowledge and experience among the research communities around different formal methods.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.