Advances in Formal Methods

The Object-Z Specification Language

Advances in Formal Methods, nr. 1

Autor Graeme Smith

31 dec 1999

Preț: 1222^.71 lei 1528^.39 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ț: 1228^.89 lei 1536^.12 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ț: 1224^.95 lei 1531^.19 lei

6-8 săpt.

-20%