Laurent George,
Tullio Vardanega
Springer International Publishing
2014e druk, 2014
9783319083100
Reliable Software Technologies – Ada-Europe 2014
19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Specificaties
Paperback, 193 blz.
|
Engels
Springer International Publishing |
2014e druk, 2014
ISBN13: 9783319083100
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
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
Hoofdrubriek:Programmeren, Computer en informatica
Inhoudsopgave
Formal methods.- Uses of ada.- Real-time scheduling.- Applications.