Advances in Formal Methods

The Object-Z Specification Language

Advances in Formal Methods, nr. 1

Autor Graeme Smith

31 dec 1999

Preț: 1246^.43 lei 1558^.04 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ț: 1252^.73 lei 1565^.92 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ț: 1248^.72 lei 1560^.90 lei

6-8 săpt.

-20%