Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Rigorous State-Based Methods

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

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

Fuyuki Ishikawa

Alcino Cunha

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 51764577

Nakladateľstvo Springer, Berlin, jún 2026

This book constitutes the refereed proceedings of the 12th International Conference on Rigorous Stat... Celý popis

Libristo kód: 51764577

185 b

Nové

76.20 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

31.83 €

Riverita Armando Palacio Valdés

Brožovaná

19.90 €

CISL innovatrice nel complesso dei sindacati in Italia Guido Baglioni

Brožovaná

26.07 €

Biologia della piccola piralide (Neoleucinodes elegantalis Guenée, 1854) Rubens Pessoa de Barros

Brožovaná

32.03 €

Liszt transcripteur ou la charité bien ordonnée Drillon

Brožovaná

16.06 €

L'ART DE VIVRE A ROME (AVEC GUIDE) Racine Bruno

Pevná

19.09 €

Rolle des Europaischen Parlaments im Gesetzgebungsprozess - Eine kritische Auseinandersetzung mit George Tsebelis Malte Nelles

Brožovaná

16.16 €

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.