ZB 2002: Formal Specification and Development in Z and B
Editat de Didier Bert et al.
16 ian 2002
Paperback
Preț: 334.04 lei 417.55 lei
6-8 săpt.
-20%
Cărți de Didier Bert
Recent Trends in Algebraic Development Techniques
Editat de Didier Bert et al.
6 sep 2000
Paperback
Preț: 331.38 lei 414.22 lei
6-8 săpt.
-20%
ZB 2003: Formal Specification and Development in Z and B
Editat de Didier Bert et al.
20 mai 2003
Paperback
Preț: 635.65 lei 794.57 lei
6-8 săpt.
-20%