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
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ț: 1016.06 lei 1270.07 lei
6-8 săpt.
-20%