This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, 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: 42,79€
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti