Bookbot

Reliable software technologies

Paramètres

  • 367pages
  • 13 heures de lecture

En savoir plus sur le livre

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.

Achat du livre

Reliable software technologies, Johann Blieberger

Langue
Année de publication
2002
product-detail.submit-box.info.binding
(souple),
État du livre
Bon
Prix
2,49 €

Modes de paiement

Personne n'a encore évalué .Évaluer

Titre
Reliable software technologies
Langue
Anglais
Éditeur
Springer
Publié
2002
Format
souple
Pages
367
ISBN10
3540437843
ISBN13
9783540437840
Séries
Description
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.