Obálka

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

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 submiss...

Celý popis

Uloženo v:
Podrobná bibliografie
Korporativní autor: SpringerLink (Online service)
Další autoři: George, Laurent. (Editor, http://id.loc.gov/vocabulary/relators/edt), Vardanega, Tullio. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Médium: Elektronický zdroj E-kniha
Jazyk:English
Vydáno: Cham : Springer International Publishing : Imprint: Springer, 2014.
Vydání:1st ed. 2014.
Edice:Programming and Software Engineering ; 8454
Témata:
Programming languages (Electronic computers).
Software engineering.
Special purpose computers.
Computer logic.
Mathematical logic.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Special Purpose and Application-Based Systems.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
On-line přístup:https://doi.org/10.1007/978-3-319-08311-7
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Obsah:
  • Formal methods
  • Uses of ada
  • Real-time scheduling
  • Applications.

Podobné jednotky