Advances in Formal Methods

The Object-Z Specification Language

Advances in Formal Methods, nr. 1

Autor Graeme Smith

31 dec 1999

Preț: 1272^.25 lei 1590^.32 lei

6-8 săpt.

-20%

Software Engineering with OBJ: Algebraic Specification in Action

Advances in Formal Methods, nr. 2

Editat de Joseph A. Goguen et al.

7 dec 2010

Preț: 1278^.68 lei 1598^.35 lei

6-8 săpt.

-20%

Computer-Aided Reasoning: ACL2 Case Studies

Advances in Formal Methods, nr. 4

Editat de Matt Kaufmann et al.

8 dec 2010

Preț: 1274^.57 lei 1593^.22 lei

6-8 săpt.

-20%