Name: Reliable Software Technologies - Ada-Europe 2010
ISBN: 978-3-642-13550-7

Reliable Software Technologies - Ada-Europe 2010

Overview

Editors:

Jorge Real
1. Universidad Politécnica de Valencia, DISCA-ETSINF, Valencia, Spain
View editor publications

You can also search for this editor in PubMed Google Scholar
Tullio Vardanega
1. Department of Pure and Applied Mathematics, University of Padua, Padua, Italy
View editor publications

You can also search for this editor in PubMed Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6106)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: Ada-Europe 2010.

Buy print copy

Softcover Book USD 54.99

Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Universidad Politécnica de Valencia, DISCA-ETSINF, Valencia, Spain

Jorge Real
Department of Pure and Applied Mathematics, University of Padua, Padua, Italy

Tullio Vardanega

Book Title: Reliable Software Technologies - Ada-Europe 2010
Book Subtitle: 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings
Editors: Jorge Real, Tullio Vardanega
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-13550-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer-Verlag GmbH, DE, part of Springer Nature 2010
Softcover ISBN: 978-3-642-13549-1Published: 01 June 2010
eBook ISBN: 978-3-642-13550-7Published: 16 June 2010
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 277
Number of Illustrations: 65 b/w illustrations
Topics: Programming Languages, Compilers, Interpreters, Software Engineering, Computer Communication Networks, Logics and Meanings of Programs, Programming Techniques, Mathematical Logic and Formal Languages