logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Donald Sannella's Books back

language per page order
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) - Donald Sannella, Andrzej Tarlecki
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)
by Andrzej Tarlecki (author), Donald Sannella (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 259
language: English
ASIN: B000VO3GGU
Recent Trends in Data Type Specification - Donald Sannella, Andrzej Tarlecki
Recent Trends in Data Type Specification
by Andrzej Tarlecki (author), Donald Sannella (author)
publisher: Springer publish date: October 26th 1988
format: paperback pages: 268
language: English
ISBN: 3540503250 (9783540503255)
Foundations of Algebraic Specification and Formal Software Development - Donald Sannella, Andrzej Tarlecki
Foundations of Algebraic Specification and Formal Software Development
by Andrzej Tarlecki (author), Donald Sannella (author)
publisher: Springer publish date: December 30th 2011
format: hardcover pages: 581
language: English
ISBN: 3642173357 (9783642173356)
Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings - Donald Sannella
Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
by Donald Sannella (author)
publisher: Springer publish date: March 23rd 1994
format: paperback pages: 523
language: English
ISBN: 3540578803 (9783540578802)
ASIN: 3540578803
Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science) - Michel Bidoit, Hans-Jxf6rg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella
Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science)
by Pierre Lescanne (author), Michel Bidoit (author), Fernando Orejas (author), Donald Sannella (author), Hans-Jxf6rg Kreowski (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 100
language: English
ASIN: B000PY41Y2
Automata, Languages and Programming: 31st International Colloquium, Icalp 2004, Turku, Finland, July 12-16, 2004, Proceedings - Josep Diaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella
Automata, Languages and Programming: 31st International Colloquium, Icalp 2004, Turku, Finland, July 12-16, 2004, Proceedings
by Josep Diaz (author), Juhani Karhumäki (author), Donald Sannella (author), Arto Lepistö (author)
publisher: Springer publish date: October 1st 2004
format: paperback pages: 1254
language: English
ISBN: 3540228497 (9783540228493)
Need help?