ZB 2000: Formal Specification and Development in Z and B
Editat de Jonathan P. Bowen et al.
16 aug 2000
Paperback
Preț: 334.09 lei 417.62 lei
6-8 săpt.
-20%
Andy Galloway
IFM'99
Editat de Keijiro Araki et al.
25 iun 1999
Paperback
Preț: 659.38 lei 824.23 lei
6-8 săpt.
-20%