ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
Editat de Jonathan P. Bowen et al.
16 aug 2000
Paperback
Preț: 355.53 lei 444.41 lei
6-8 săpt.
-20%