Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Rigorous State-Based Methods

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

Language EnglishEnglish
Book Paperback
Book Rigorous State-Based Methods Fuyuki Ishikawa
Libristo code: 51764577
Publishers Springer, Berlin, June 2026
This book constitutes the refereed proceedings of the 12th International Conference on Rigorous Stat... Full description
? points 185 b New New
76.37 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Rivoluzione meridionale (1816-1926). Narrazioni e memorie Salvatore Lupo / Book Paperback
common.buy 32.10 €
Riverita Armando Palacio Valdés / Book Paperback
common.buy 21.16 €
CISL innovatrice nel complesso dei sindacati in Italia Guido Baglioni / Book Paperback
common.buy 26.43 €
L'ART DE VIVRE A ROME (AVEC GUIDE) Racine Bruno / Book Hardback
common.buy 19.34 €
Biologia della piccola piralide (Neoleucinodes elegantalis Guenée, 1854) Rubens Pessoa de Barros / Book Paperback
common.buy 32.10 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Rigorous State-Based Methods
Author Fuyuki Ishikawa, Alcino Cunha
Language English
Binding Book - Paperback
Date of issue 2026
Number of pages 320
EAN 9783032267511
Libristo code 51764577
Publishers Springer, Berlin
Series Lecture Notes in Computer Science
Weight 508
Dimensions 155 x 235

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer hardware
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Absolute Reality in the Qur'an Masudul Alam Choudhury / Book Hardback
common.buy 58.54 €
Rob Simmons Mariam T. Tennoe / Book Paperback
common.buy 227.72 €
Rob Doran Miriam T. Timpledon / Book Paperback
common.buy 298.73 €
Roadside Monument / Frodus Miriam T. Timpledon / Book Paperback
common.buy 281.01 €
Coming soon New
Riverbend City – An Eighteenth–Century Pawnee Community Mary J. Adair / Book Hardback
common.buy 89.85 €
Riverscape Dynamics and Contemporary Hazards Mery Biswas / Book Hardback
common.buy 133.51 €
Top
Rise of a Queen Rina Kent / Book Hardback
common.buy 22.38 €
Proceedings of the 5th International Symposium on Uncertainty Quantification and Stochastic Modelling José Eduardo Souza de Cursi / Book Paperback
common.buy 154.58 €
The Good Artist Benjamin Lawal / Book Paperback
common.buy 10.32 €
Japanese Art National Art Library / Book Paperback
common.buy 17.01 €
Oliver Twist (World Classics, Unabridged) Charles Dickens / Book Paperback
common.buy 24.20 €
Everybody's Guide to Nature Cure Harry Benjamin / Book Hardback
common.buy 54.19 €
Top
Ride the Tiger Julius Evola / Book Hardback
common.buy 20.15 €
New
Distributed Applications and Interoperable Systems Ana Nunes Alonso / Book Paperback
common.buy 68.17 €
New
Verified Software. Theories, Tools and Experiments Clément Pit-Claudel / Book Paperback
common.buy 58.54 €
New
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Tias Guns / Book Paperback
common.buy 92.89 €
New
Modelling and Mining Networks Fan Chung Graham / Book Paperback
common.buy 59.96 €
Coming soon New
Theory and Practice of Electronic Governance Olayinka David-West / Book Paperback
common.buy 76.07 €
New
Formal Methods Teaching Gustavo Carvalho / Book Paperback
common.buy 51.76 €
New
Public-Key Cryptography - PKC 2026 Shi Bai / Book Paperback
common.buy 76.37 €
New
Public-Key Cryptography - PKC 2026 Shi Bai / Book Paperback
common.buy 76.37 €
New
Public-Key Cryptography - PKC 2026 Shi Bai / Book Paperback
common.buy 76.37 €
Coming soon New
Chatbots and Human-Centered AI Asbjørn Følstad / Book Paperback
common.buy 66.95 €
New
Structural Information and Communication Complexity Chryssis Georgiou / Book Paperback
common.buy 76.37 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?