1.
|
New York : St. Martin's Press, 1985.
PT2611.R814 Z635 1985 |
Map It |
|
2.
|
Cham : Springer International Publishing : Imprint: Springer, 2015.
|
3.
|
Berkeley, CA : Apress L.P., 2022.
|
4.
|
Abstract state machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016[...]
Switzerland : Springer, 2016.
|
5.
|
Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings / Micha[...]
Cham, Switzerland : Springer, 2018.
|