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ț: 194^.10 lei 242^.62 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

39-44 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ț: 323^.69 lei 404^.62 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^.33 lei 414^.16 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ț: 311^.33 lei 389^.15 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^.95 lei 398^.69 lei

6-8 săpt.

-20%