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%
Formal Approaches to Computing and Information Technology (FACIT)