Cărți de Peter A. Lindsay

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Lecture Notes in Computer Science, nr. 2391

Editat de Lars-Henrik Eriksson et al.

10 iul 2002

Preț: 669^.91 lei 837^.39 lei

43-57 zile

-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ț: 329^.76 lei 412^.20 lei

43-57 zile

-20%