Filtre: SPRINGER LONDON

Formal Approaches to Computing and Information Technology (FACIT)

Specification Case Studies in RAISE

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Hung Dang Van et al.

8 feb 2002

Preț: 626^.57 lei 783^.22 lei

6-8 săpt.

-20%

Formal Methods in Human-Computer Interaction

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Philippe Palanque et al.

29 oct 1997

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%

Formal Methods and Object Technology

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Stephen J. Goldsack et al.

26 apr 1996

Preț: 624^.82 lei 781^.02 lei

6-8 săpt.

-20%

On the Refinement Calculus

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Carroll Morgan et al.

13 dec 1994

Preț: 366^.76 lei

6-8 săpt.

Program Development by Refinement: Case Studies Using the B Method

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Emil Sekerinski et al.

23 oct 1998

Preț: 1226^.07 lei 1532^.59 lei

6-8 săpt.

-20%