Filtre: Paperback Tipărit la comandă

Cărți de Tim Denvir

Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

Workshops in Computing

Editat de Tim Denvir et al.

28 aug 1992

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

Workshops in Computing

Editat de Cliff B. Jones et al.

27 oct 1992

Preț: 324^.35 lei 405^.44 lei

6-8 săpt.

-20%

FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings

Lecture Notes in Computer Science, nr. 873

Editat de Maurice Naftalin et al.

12 oct 1994

Preț: 641^.77 lei 802^.21 lei

6-8 săpt.

-20%