Advances in Formal Methods

The Object-Z Specification Language

Advances in Formal Methods, nr. 1

Autor Graeme Smith

31 dec 1999

Preț: 1310^.31 lei 1637^.89 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

Advances in Formal Methods, nr. 4

Editat de Matt Kaufmann et al.

30 iun 2000

Preț: 1321^.32 lei 1651^.65 lei

6-8 săpt.

-20%