It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 29, 2008 | History
Edit

Donald Sannella

We need a photo of Donald Sannella

13 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Foundations of Algebraic Specification and Formal Software Development

    First published in 2012 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Extended ML: an institution-independent framework for formal program development

    First published in 1986 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal program development in extended ML for the working programmer.

    First published in 1989 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal specification of ML programs.

    First published in 1986 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings (Lecture Notes in Computer Science)

    First published in 1994 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994 : Proceedings (Lecture Notes in Computer Science)

    First published in 1994 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Some Thoughts on algebraic specification

    First published in 1987 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: survey of formal software development methods: expository report.

    First published in 1988 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Toward formal development of ML programs: foundations and methodology : preliminary version

    First published in 1989 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Toward formal development of programs from algebraic specifications: implementations revisited

    First published in 1986 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Introduction to Computation: Haskell, Logic and Automata

    First published in 2021 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Foundations Of Algebraic Specification And Formal Software Development

    First published in 2012 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science)

    First published in 2004 — 1 edition
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Donald Sannella

Subjects

Computer science, Computer software, development, Software engineering, Algebra, Algorithmes, Automates mathématiques, Théorie des, COMPUTERS, Computer programming, Computer software, Congresses, Congrès, Development, Formal languages, Formal methods (Computer science), General, Homological Algebra Category Theory, Langages formels, Logic design, Logics and Meanings of Programs, Machine theory, Mathematical Logic and Foundations, Mathematics, Open Source, Programmation (Informatique), Programming

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL2682581A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 29, 2008 Created by an anonymous user initial import