Cărți de Donald Sannella

Introduction to Computation: Haskell, Logic and Automata

Undergraduate Topics in Computer Science

Autor Donald Sannella et al.

20 ian 2022

Preț: 192^.73 lei 240^.91 lei

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

-20%

Foundations of Algebraic Specification and Formal Software Development

Monographs in Theoretical Computer Science. An EATCS Series

Autor Donald Sannella et al.

mar 2014

Preț: 511^.90 lei 639^.87 lei

38-45 zile

-20%

Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4661

Editat de Ugo Montanari et al.

22 noi 2007

Preț: 330^.71 lei 413^.39 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ț: 338^.51 lei 423^.14 lei

6-8 săpt.

-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ț: 318^.06 lei 397^.57 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ț: 325^.86 lei 407^.33 lei

6-8 săpt.

-20%