ABZ 2014 : The Landing Gear Case Study
Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science)
Edición de la obra ABZ 2014 : The Landing Gear Case Study
| Autor | Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe |
|---|---|
| Editorial | Springer |
| Fecha de publicación | May 08, 2014 |
| Páginas | 176 |
| Formato | paperback |
| ISBN-13 | 9783319075112 |
| ISBN-10 | 331907511X |