Livraison gratuite à partir de 69.99 euros.

Vérifier l'état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

Livraison gratuite avec Zásilkovna à partir de 69.99 €

Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Livraison gratuite à partir de 69.99 euros.

Rigorous State-Based Methods

Name: Rigorous State-Based Methods
Brand: Springer, Berlin
SKU: 51764577
Price: 76.26 EUR
Availability: InStock
Author: Fuyuki Ishikawa
ISBN: 9783032267511

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

Fuyuki Ishikawa

Alcino Cunha

Langue

Anglais

Livre Livre de poche

Code Libristo: 51764577

Éditeurs Springer, Berlin, juin 2026

This book constitutes the refereed proceedings of the 12th International Conference on Rigorous Stat... Description détaillée

Code Libristo: 51764577

185 b

Nouveauté

76.26 €

Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Rivoluzione meridionale (1816-1926). Narrazioni e memorie Salvatore Lupo

Livre de poche

32.16 €

Riverita Armando Palacio Valdés

Livre de poche

21.13 €

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.