Reliable Software Technologies - Ada-Europe 2011 [recurso electrónico] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / edited by Alexander Romanovsky, Tullio Vardanega.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 6652Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Descripción: XIII, 227p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642213380Tema(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Computer Science | Programming Languages, Compilers, Interpreters | Software Engineering | Logics and Meanings of Programs | Computer Communication Networks | Programming Techniques | Mathematical Logic and Formal LanguagesFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 005.13 Clasificación LoC:QA76.7-76.73QA76.76.C65Recursos en línea: Libro electrónico En: Springer eBooksResumen: This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | QA76.7 -76.73 (Browse shelf(Abre debajo)) | 1 | No para préstamo | 376251-2001 |
Navegando Biblioteca Electrónica Estantes, Código de colección: Colección de Libros Electrónicos Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA76.7 -76.73 Programming Languages and Systems | QA76.7 -76.73 Practical Aspects of Declarative Languages | QA76.7 -76.73 Languages and Compilers for Parallel Computing | QA76.7 -76.73 Reliable Software Technologies - Ada-Europe 2011 | QA76.7 -76.73 Trends in Functional Programming | QA76.7 -76.73 Programming Languages and Systems | QA76.73 .C153 T764 2007 EB Pro C♯ 2008 and the .NET 3.5 platform |
This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.
19