Filtre: Paperback Richard Moore

Formal Approaches to Computing and Information Technology (FACIT)

Proof in VDM: A Practitioner’s Guide

Formal Approaches to Computing and Information Technology (FACIT)

Autor Juan C. Bicarregui et al.

dec 1993

Preț: 323^.73 lei 404^.66 lei

6-8 săpt.

-20%

Specification Case Studies in RAISE

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Hung Dang Van et al.

8 feb 2002

Preț: 626^.57 lei 783^.22 lei

6-8 săpt.

-20%