Mohlo by se vám také líbit

Více informací o knize Abstract State Machines, Alloy, B, TLA, VDM, and Z

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 168 bodů

Anotace knihy

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.§

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Human-computer interaction

• Plný název: Abstract State Machines, Alloy, B, TLA, VDM, and Z
• Podnázev: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
• Autor: Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 426
• EAN: 9783319335995
• ISBN: 3319335995
• ID: 02975370
• Nakladatelství: Springer International Publishing AG
• Hmotnost: 682 g
• Rozměry: 235 × 155 × 235 mm
• Datum vydání: 11. May 2016

Oblíbené z jiného soudku

---

---

---