Mathematics of Program Construction
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
We couldn't estimate the reading time for this book.
Author
Contributions
- Nogueira, Pablo - Contributor
- SpringerLink (Online service) - Contributor
Publication
2012 - Springer Berlin Heidelberg, Berlin, Heidelberg, Germany
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Physical Format
Electronic resource
Identifiers
- Internet Archivemathematicsprogr00gibb
- ISBN-139783642311130
- ISBN-10364231113X
- Better World Books9783642311130
- Open LibraryOL27073414M
Classifications
- DDC005.1015113
- LCCQA76.9.L63
- LCCQA76.5913
and 2 more
- LCCQA76.63
- LCCQA75.5-76.95
Subjects
Series Statement
- Lecture Notes in Computer Science -- 7342
Similar Books
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
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
edited by Sergei Artemov, Anil Nerode
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
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
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!