Cărți de Juan C. Bicarregui

Proof in VDM: Case Studies

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Juan C. Bicarregui

2 mar 1998

Preț: 632^.02 lei 790^.02 lei

6-8 săpt.

-20%

Proof in VDM: A Practitioner’s Guide

Formal Approaches to Computing and Information Technology (FACIT)

Autor Juan C. Bicarregui et al.

dec 1993

Preț: 330^.90 lei 413^.63 lei

6-8 săpt.

-20%