Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Rigorous State-Based Methods

Name: Rigorous State-Based Methods
Brand: Springer Nature B.V.
SKU: 50453035
Price: 50.69 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

Lingua

Inglese

Libro In brossura

Codice Libristo: 50453035

Casa editrice Springer Nature B.V., maggio 2023

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State... Descrizione completa

Codice Libristo: 50453035

124 b

50.69 €

Magazzino esterno Inviamo tra 10-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Kompendium Flug- und Reisemedizin Jörg Siedenburg

In brossura

23.39 €

Rilke à Paris Maurice Betz

In brossura

14.69 €

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.