Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Rigorous State-Based Methods

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

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

Fuyuki Ishikawa

Alcino Cunha

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 51764577

Založba Springer, Berlin, junij 2026

This book constitutes the refereed proceedings of the 12th International Conference on Rigorous Stat... Celoten opis

Koda Libristo: 51764577

174 b

71.70 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

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

Mehka

28.55 €

Riverita Armando Palacio Valdés

Mehka

19.80 €

CISL innovatrice nel complesso dei sindacati in Italia Guido Baglioni

Mehka

23.42 €

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

Mehka

30.07 €

Le Talmud De Jérusalem, Volume 5... Anonymous

Trda

32.68 €

LAURA TE POR LLUCH

Knjiga

5.52 €

Liszt transcripteur ou la charité bien ordonnée Drillon

Mehka

13.87 €

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

Trda

16.58 €

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

Mehka

15.18 €

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.