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.
22 noi 2010
Paperback
Preț: 1009.97 lei 1262.46 lei
6-8 săpt.
-20%