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 Martin C. Henson
Logics of Specification Languages
Editat de Dines Bjørner et al.
7 dec 2007
Hardback
Preț: 976.07 lei 1220.09 lei
6-8 săpt.
-20%