Cărți de Peter A. Lindsay

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%

FME 2002: Formal Methods - Getting IT Right

Editat de Lars-Henrik Eriksson et al.

10 iul 2002

Preț: 639^.53 lei 799^.41 lei

6-8 săpt.

-20%