Springer Nature
Rigorous State-Based Methods
Miglior prezzo disponibile
64,99$
Springer Nature · Spedizione gratuita
VISAPayPal
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
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.
Storico prezzi
Ricevi una notifica se il prezzo scende
Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.
- Aggiornamenti dei prezzi in tempo reale
- Oltre 50 negozi monitorati
- Avvisi gratuiti di calo prezzo
- Solo negozi verificati
Avvisami quando il prezzo scende sotto: 64,99$
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
Rigorous State-Based Methods
79,99$
Logic, Computation And Rigorous Methods
54,99$
Rigorous Methods In Particle Physics
54,99$
Rigorous Methods In Theory And Practice
59,99$
Rigorous Methods For Software Construction And Analysis
54,99$
Antennas Rigorous Methods Of Analysis And Synthesis | Science Publishers
55,19$
Particle-Based Methods
109,99$
Leveraging Applications Of Formal Methods, Verification And Validation. Rigorous Engineering Of Coll
84,99$