Coalgebraic Methods in Computer Science

12th IFIP WG 1. 3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Our rough guess is there are 61,250 words in this book.

At a pace averaging 250 words per minute, this book will take 4 hours and 5 minutes to read. With a half hour per day, this will take 8 days to read.

How long will it take you?

Enter your reading speed

You can take one of our WPM reading speed tests to find your reading speed.

Get it on Amazon Buy on Bookshop.org

We earn a commission on purchases

Author

Marcello M. Bonsangue

Publication

2014 - Springer London, Limited

Language

English

Word Count

61,250 words, Guess

Page Count

245 pages

Identifiers

ISBN-139783662441244
ISBN-103662441241
Better World Books9783662441244
Open LibraryOL34520536M

Classifications

LCCQA75.5-76.95

Subjects

Topics

Logic design Computer science Computer software Computer science, mathematics Logics and Meanings of Programs Computation by Abstract Devices Mathematical Logic and Formal Languages

Other Editions

Coalgebraic Methods in Computer ScienceSpringer London, Limited2014

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

Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

Arto Salomaa, Marian Gheorghe, Claudio Zandron, Grzegorz Rozenberg, Petr Sosík

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!