Bookbot

Reliable software technologies

Parametri

  • 367pagine
  • 13 ore di lettura

Maggiori informazioni sul libro

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002. The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.

Acquisto del libro

Reliable software technologies, Johann Blieberger

Lingua
Pubblicato
2002
product-detail.submit-box.info.binding
(In brossura),
Condizioni del libro
In buone condizioni
Prezzo
2,49 €

Metodi di pagamento

Titolo
Reliable software technologies
Lingua
Inglese
Editore
Springer
Pubblicato
2002
Formato
In brossura
Pagine
367
ISBN10
3540437843
ISBN13
9783540437840
Serie
Descrizione
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002. The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.