10 results
Type of media (2)
Availability (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
10 results

Your search for Donald Sannella

  1. Cover: Introduction to Computation - Springer
    Donald Sannella | Michael Fourman | Haoran Peng
    Introduction to Computation
    Haskell, Logic and Automata
    01/2022
    Springer
    9783030769086 (ISBN)
    E-Book
    PDF
    Other editions
    €39.58
    Available for download
  2. Cover: Foundations of Algebraic Specification and Formal Software Development - Springer
    Donald Sannella | Andrzej Tarlecki
    Foundations of Algebraic Specification and Formal Software Development
    01/2012
    1st EDN1st Edition
    Springer
    9783642173363 (ISBN)
    E-Book
    PDF
    Other editions
    €128.39
    Available for download
  3. Cover: Introduction to Computation - Springer
    Donald Sannella | Michael Fourman | Haoran Peng
    Introduction to Computation
    Haskell, Logic and Automata
    01/2022
    Springer
    9783030769079 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €40.65
    Shipment within 7-9 days
  4. Cover: Foundations of Algebraic Specification and Formal Software Development - Springer
    Donald Sannella | Andrzej Tarlecki
    Foundations of Algebraic Specification and Formal Software Development
    03/2014
    Springer
    9783642440656 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €128.39
    Shipment within 7-9 days
  5. Cover: Foundations of Algebraic Specification and Formal Software Development - Springer
    Donald Sannella | Andrzej Tarlecki
    Foundations of Algebraic Specification and Formal Software Development
    12/2011
    Springer
    9783642173356 (ISBN)
    Book
    Hardback
    Other editions
    €128.39
    Shipment within 7-9 days
  6. Cover: Trustworthy Global Computing - Springer
    Ugo Montanari | Donald Sannella | Roberto Bruni
    Trustworthy Global Computing
    Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
    11/2007
    Springer
    9783540753339 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Automata, Languages and Programming - Springer
    Josep Diaz | Juhani Karhumäki | Arto Lepistö
    Automata, Languages and Programming
    31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings
    08/2004
    Springer
    9783540228493 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €181.89
    Exhausted; check different version
  8. Cover: Programming Languages and Systems - ESOP '94 - Springer
    Donald Sannella
    Programming Languages and Systems - ESOP '94
    5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
    03/1994
    Springer
    9783540578802 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  9. Cover: Recent Trends in Data Type Specification - Springer
    Donald Sannella
    Recent Trends in Data Type Specification
    Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers
    10/1988
    Springer
    9783540503255 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  10. Cover: Algebraic System Specification and Development - Springer
    Michel Bidoit | Hans-Jörg Kreowski | Pierre Lescanne
    Algebraic System Specification and Development
    A Survey and Annotated Bibliography
    06/1991
    Springer
    9783540540601 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days