Sannella, Donald books & textbook
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)
Sannella, Donald Fourman, Michael Peng, Haoran Wadler, Philip
Springer /2022-01-20 Paperback / 384 Pages
isbn-10: 3030769070 / isbn-13: 9783030769079
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4661)
Montanari, Ugo Sannella, Donald Bruni, Roberto
Springer /2007-11-22 Paperback / 352 Pages
isbn-10: 3540753338 / isbn-13: 9783540753339
Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)
Italiano, Giuseppe F Pighizzini, Giovanni Sannella, Donald T.
Springer /2015-08-20 Paperback / 485 Pages
isbn-10: 3662480565 / isbn-13: 9783662480564
Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science, 501)
Bidoit, Michel Kreowski, Hans-Jörg Lescanne, Pierre Orejas, Fernando Sannella, Donald
Springer /1991-06-26 Paperback / 196 Pages
isbn-10: 3540540601 / isbn-13: 9783540540601
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Sannella, Donald Tarlecki, Andrzej
Springer /2011-12-30 Hardcover / 600 Pages
isbn-10: 3642173357 / isbn-13: 9783642173356
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, 332)
Springer /1988-10-26 Paperback / 276 Pages
isbn-10: 3540503250 / isbn-13: 9783540503255
Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues)
Italiano, Giuseppe F. Pighizzini, Giovanni Sannella, Donald T.
Springer /2015-08-18 Paperback / 632 Pages
isbn-10: 3662480530 / isbn-13: 9783662480533
Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings (Lecture Notes in Computer Science, 788)
Springer /1994-03-23 Paperback / 532 Pages
isbn-10: 3540578803 / isbn-13: 9783540578802
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3142)
Diaz, Josep Karhumäki, Juhani Lepistö, Arto Sannella, Donald
Springer /2004-08-17 Paperback / 1294 Pages
isbn-10: 3540228497 / isbn-13: 9783540228493
