ZB 2002: Formal Specification and Development in Z and B
Editat de Didier Bert et al.
16 ian 2002
Paperback
Preț: 335.05 lei 418.81 lei
6-8 săpt.
-20%
Cărți de Martin C. Henson
Logics of Specification Languages
Editat de Dines Bjørner et al.
7 dec 2007
Hardback
Preț: 968.12 lei 1210.14 lei
6-8 săpt.
-20%