Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Our rough guess is there are 161,000 words in this book.

At a pace averaging 250 words per minute, this book will take 10 hours and 44 minutes to read. With a half hour per day, this will take 22 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

Publication

2014 - Springer Berlin / Heidelberg

Language

English

Word Count

161,000 words, Guess

Page Count

644 pages

Identifiers

ISBN-139783662452301
ISBN-103662452308
Better World Books9783662452301
Open LibraryOL34508201M

Classifications

LCCQA75.5-76.95
LCCQA76.758

Subjects

Topics

Logic design Machine learning Computer science Robots, programming Software engineering Artificial intelligence Logics and Meanings of Programs

Other Editions

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IISpringer Berlin / Heidelberg2014-01-01

Similar Books

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

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

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!