,

Reliable Software Technologies – Ada-Europe 2014

19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Paperback Engels 2014 2014e druk 9783319083100
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014.
The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions. They are organized in topical sections on formal methods; uses of ada; real-time scheduling; applications.

Specificaties

ISBN13:9783319083100
Taal:Engels
Bindwijze:paperback
Aantal pagina's:193
Uitgever:Springer International Publishing
Druk:2014

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

Formal methods.- Uses of ada.- Real-time scheduling.- Applications.

Managementboek Top 100

Rubrieken

    Personen

      Trefwoorden

        Reliable Software Technologies – Ada-Europe 2014