Spedizione gratuita per ordini superiori a 69,99 euro.
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi.
Crea un account gratuito
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 €
Punto Poste 5.49 €
Punto Poste 5.49 €
Punto Bartolini 3.49 €
DHL 6.99 €
GLS 7.99 €
Contatto
Come acquistare
Aiuto
Consegna
Bartolini 4.49 €
Punto Poste 5.49 €
Punto Poste 5.49 €
Punto Bartolini 3.49 €
DHL 6.99 €
GLS 7.99 €
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Guida all'acquisto
Il mio account
▸
Vuoto :-(
0
Spedizione gratuita per ordini superiori a 69,99 euro.
Rigorous State-Based Methods
Lingua
Inglese
Inglese
Libro
In brossura
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Me...
Descrizione completa
Codice Libristo: 36216078
?
158 b
158 b
64.49
€
Magazzino esterno
Inviamo tra 5-8 giorni
30 giorni per il reso
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
Attrice
&
Poliglotta
EWA KASP
per
Riproduci video
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.
Informazioni sul libro
Titolo completo
Rigorous State-Based Methods
Autore
Alexander Raschke
Lingua
Inglese
Inglese
Rilegatura
Libro - In brossura
Data di pubblicazione
2021
Numero di pagine
167
EAN
9783030775421
ISBN
3030775429
Codice Libristo
36216078
Casa editrice
Springer Nature Switzerland AG
Peso
454
Dimensioni
155 x 235 x 11
