Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8454)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: Ada-Europe 2014.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (14 papers)
Other volumes
-
Reliable Software Technologies – Ada-Europe 2014
Editors and Affiliations
About the editors
Bibliographic Information
Book Title: Reliable Software Technologies – Ada-Europe 2014
Book Subtitle: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Editors: Laurent George, Tullio Vardanega
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-08311-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2014
Softcover ISBN: 978-3-319-08310-0Published: 04 August 2014
eBook ISBN: 978-3-319-08311-7Published: 10 June 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 193
Number of Illustrations: 56 b/w illustrations
Topics: Programming Languages, Compilers, Interpreters, Software Engineering, Special Purpose and Application-Based Systems, Logics and Meanings of Programs, Mathematical Logic and Formal Languages