Overview
- Fast track conference proceedings
- State of the art papers
- Up to date research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6014)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: FoSSaCS 2010.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (26 papers)
-
Front Matter
-
FoSSaCS 2010 Invited Talk
-
Probabilistic and Randomised Computation
-
Modal and Temporal Logics
Other volumes
-
Foundations of Software Science and Computational Structures
Editors and Affiliations
Accessibility Information
Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.
Bibliographic Information
Book Title: Foundations of Software Science and Computational Structures
Book Subtitle: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
Editors: Luke Ong
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-12032-9
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0), Springer Nature Proceedings Computer Science
Copyright Information: Springer-Verlag Berlin Heidelberg 2010
Softcover ISBN: 978-3-642-12031-2Published: 16 March 2010
eBook ISBN: 978-3-642-12032-9Published: 10 March 2010
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 389
Number of Illustrations: 47 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Software Engineering/Programming and Operating Systems, Computation by Abstract Devices, Logics and Meanings of Programs, Software Engineering