Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Rigorous State-Based Methods

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

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

Fuyuki Ishikawa

Alcino Cunha

Sprache

Englisch

Buch Broschur

Libristo-Code: 51764577

Verlag Springer, Berlin, Juni 2026

This book constitutes the refereed proceedings of the 12th International Conference on Rigorous Stat... Vollständige Beschreibung

Libristo-Code: 51764577

203 b

Neu

82.99 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Broschur

33.29 €

Riverita Armando Palacio Valdés

Broschur

22.09 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Rigorous State-Based Methods

Autor Fuyuki Ishikawa, Alcino Cunha

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2026

Anzahl der Seiten 320

EAN 9783032267511

Libristo-Code 51764577

Verlag Springer, Berlin

Serie Lecture Notes in Computer Science

Gewicht 508

Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Computerhardware

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert