FM 2012: Formal Methods
18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
We couldn't estimate the reading time for this book.
Author
Contributions
- Méry, Dominique - 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 Archivefmformalmethodst00gian
- ISBN-139783642327599
- ISBN-103642327591
- Library of Congress Control Number2012944269
- Better World Books9783642327599
and 1 more
- Open LibraryOL27039273M
Classifications
- DDC005.1
- LCCQA76.758
- LCCQA76.9.F67 I588 2012
Subjects
Series Statement
- Lecture Notes in Computer Science -- 7436
Other Editions
- FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Similar Books
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
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
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
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
Foundations of Algebraic Specification and Formal Software Development
by Donald Sannella, Andrzej Tarlecki
Systems, Software and Services Process Improvement: 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011, Proceedings
Richard Messnarz, Svatopluk Stolfa, Rory V. O'Connor, Jakub Stolfa, Jan Pries-Heje, Rory V. Connor
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!