Author

Contributions

  • Visser, Eelco - Contributor
  • SpringerLink (Online service) - Contributor

Publication

2011 - Springer-Verlag GmbH Berlin Heidelberg, Berlin, Heidelberg

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Physical Format

[electronic resource] :

Identifiers

Classifications

  • LCCQA76.76.D47 I326 2011

Similar Books

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings cover

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

edited by Alexander Romanovsky, Tullio Vardanega

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers cover

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

edited by Farhad Arbab, Peter Csaba Ölveczky

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings cover

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

edited by Sergei Artemov, Anil Nerode

Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Peter Jipsen, Michael Winter, Uli Fahrenberg, Peter Höfner, Martin Eric Müller, Wolfram Kahl

Foundations of Algebraic Specification and Formal Software Development cover

Foundations of Algebraic Specification and Formal Software Development

by Donald Sannella, Andrzej Tarlecki

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!