ZB 2002: Formal Specification and Development in Z and B
Editat de Didier Bert et al.
16 ian 2002
Paperback
Preț: 348.44 lei 435.55 lei
43-57 zile
-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
43-57 zile
-20%