IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999
Editat de Keijiro Araki et al.
24 iun 1999
Paperback
Preț: 630.01 lei 787.52 lei
6-8 săpt.
-20%
Andy Galloway
ZB 2000: Formal Specification and Development in Z and B
Editat de Jonathan P. Bowen et al.
16 aug 2000
Paperback
Preț: 333.82 lei 417.28 lei
6-8 săpt.
-20%