Reliable Software Technologies - Ada-Europe 2009 Reliable Software Technologies - Ada-Europe 2009

Reliable Software Technologies - Ada-Europe 2009

    • $69.99
    • $69.99

Publisher Description

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009.

The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.

GENRE
Computers & Internet
RELEASED
2009
June 6
LANGUAGE
EN
English
LENGTH
297
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
3
MB
Reliable Software Technologies - Ada-Europe 2007 Reliable Software Technologies - Ada-Europe 2007
2007
Reliable Software Technologies - Ada-Europe 2008 Reliable Software Technologies - Ada-Europe 2008
2008
Reliable Software Technologies – Ada-Europe 2016 Reliable Software Technologies – Ada-Europe 2016
2016
Foundations of Computer Software Foundations of Computer Software
2011
System Analysis and Modeling. Technology-Specific Aspects of Models System Analysis and Modeling. Technology-Specific Aspects of Models
2016
SDL 2009: Design for Motes and Mobiles SDL 2009: Design for Motes and Mobiles
2009
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
2019
TOOLympics Challenge 2023 TOOLympics Challenge 2023
2024
Transactions on Petri Nets and Other Models of Concurrency XVI Transactions on Petri Nets and Other Models of Concurrency XVI
2022
Transactions on Petri Nets and Other Models of Concurrency XV Transactions on Petri Nets and Other Models of Concurrency XV
2021
Challenges and Opportunity with Big Data Challenges and Opportunity with Big Data
2017
Application and Theory of Petri Nets and Concurrency Application and Theory of Petri Nets and Concurrency
2016