Cărți de Donald Sannella

Foundations of Algebraic Specification and Formal Software Development

Monographs in Theoretical Computer Science. An EATCS Series

Autor Donald Sannella et al.

mar 2014

Preț: 553^.98 lei 692^.47 lei

38-44 zile

-20%

Algebraic System Specification and Development: A Survey and Annotated Bibliography

Lecture Notes in Computer Science, nr. 501

Editat de Michel Bidoit et al.

26 iun 1991

Preț: 311^.18 lei 388^.98 lei

6-8 săpt.

-20%

Trustworthy Global Computing

Editat de Ugo Montanari et al.

22 noi 2007

Preț: 323^.83 lei 404^.79 lei

6-8 săpt.

-20%

Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers

Lecture Notes in Computer Science, nr. 332

Editat de Donald Sannella

26 oct 1988

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings

Lecture Notes in Computer Science, nr. 788

Editat de Donald Sannella

23 mar 1994

Preț: 331^.17 lei 413^.96 lei

6-8 săpt.

-20%

Introduction to Computation: Haskell, Logic and Automata

Undergraduate Topics in Computer Science

Autor Donald Sannella et al.

20 ian 2022

Preț: 217^.50 lei 271^.88 lei

3-5 săpt. | 6-10 zile

-20%