Springer Nature
Rigorous State-Based Methods
Miglior prezzo disponibile
79,99$
Springer Nature · Spedizione gratuita
VISAPayPal
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
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.
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: 79,99$
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
Rigorous State-Based Methods
64,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$