Foundations of Software Science and Computational Structures

14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

We couldn't estimate the reading time for this book.

Author

Martin Hofmann

Contributions

SpringerLink (Online service) - Contributor

Publication

2011 - Springer Berlin Heidelberg, Berlin, Heidelberg

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Physical Format

[electronic resource] :

Identifiers

Open LibraryOL25556257M
ISBN-139783642198045
OCLC Control Numberfoundationssoftw00hofm

Classifications

LCCQA267-268.5

Subjects

Topics

Logic design System analysis Computer science Software engineering Logics and Meanings of Programs Computation by Abstract Devices Mathematical Logic and Formal Languages

Series Statement

Lecture Notes in Computer Science -- 6604

Other Editions

Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings[electronic resource] :Springer Berlin Heidelberg2011-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

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

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

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!