Advances in Formal Methods

The Object-Z Specification Language

Advances in Formal Methods, nr. 1

Autor Graeme Smith

31 dec 1999

Preț: 1235^.70 lei 1544^.62 lei

43-57 zile

-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ț: 1241^.95 lei 1552^.44 lei

43-57 zile

-20%

Computer-Aided Reasoning: ACL2 Case Studies

Advances in Formal Methods, nr. 4

Editat de Matt Kaufmann et al.

8 dec 2010

Preț: 1237^.97 lei 1547^.46 lei

43-57 zile

-20%