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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Rigorous State-Based Methods

Name: Rigorous State-Based Methods
Brand: Springer Nature B.V.
SKU: 50453035
Price: 61.89 EUR
Availability: InStock
Author: Uwe Glässer
ISBN: 9783031331640

9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Uwe Glässer

Jose Creissac Campos

Dominique Méry

Sprache

Englisch

Buch Broschur

Libristo-Code: 50453035

Verlag Springer Nature B.V., Mai 2023

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

Libristo-Code: 50453035

151 b

61.89 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Kompendium Flug- und Reisemedizin Jörg Siedenburg

Broschur

29.90 €

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023.

The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

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 Uwe Glässer, Jose Creissac Campos, Dominique Méry

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2023

Anzahl der Seiten 396

EAN 9783031331640

ISBN 3031331648

Libristo-Code 50453035

Verlag Springer Nature B.V.

Gewicht 554

Abmessungen 156 x 234 x 21

Kategorie

EDV und Informationstechnologie > Informatik

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