Omslagsbild

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

Full beskrivning

Sparad:
Bibliografiska uppgifter
Institutionell upphovsman: SpringerLink (Online service)
Övriga upphovsmän: George, Laurent. (Utgivare, redaktör, sammanställare, http://id.loc.gov/vocabulary/relators/edt), Vardanega, Tullio. (Utgivare, redaktör, sammanställare, http://id.loc.gov/vocabulary/relators/edt)
Materialtyp: Elektronisk E-bok
Språk:English
Publicerad: Cham : Springer International Publishing : Imprint: Springer, 2014.
Upplaga:1st ed. 2014.
Serie:Programming and Software Engineering ; 8454
Ämnen:
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.
Länkar:https://doi.org/10.1007/978-3-319-08311-7
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Innehållsförteckning:
  • Formal methods
  • Uses of ada
  • Real-time scheduling
  • Applications.

Liknande verk