Program Development by Refinement: Case Studies Using the B Method
Editat de Emil Sekerinski et al.
23 oct 1998
Paperback
Preț: 1226.07 lei 1532.59 lei
6-8 săpt.
-20%
Cărți de Kaisa Sere
Integrated Formal Methods
Editat de Michael Butler et al.
2 mai 2002
Paperback
Preț: 327.12 lei 408.89 lei
6-8 săpt.
-20%