Specification Case Studies in RAISE
Editat de Hung Dang Van et al.
8 feb 2002
Paperback
Preț: 626.57 lei 783.22 lei
6-8 săpt.
-20%
Formal Approaches to Computing and Information Technology (FACIT)
Proof in VDM: A Practitioner's Guide
Autor Juan C. Bicarregui et al.
dec 1993
Paperback
Preț: 326.26 lei 407.83 lei
6-8 săpt.
-20%