Reliable Software Technologies - Ada Europe 96 - Strohmeier Alfred
Reliable Software Technologies - Ada Europe 96 - Strohmeier Alfred
- 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings
The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed systems, real-time systems, compilers and tools, the Ada 95 language, and interfaces to other worlds.
EAN: 9783540613176
Marka
Symbol
925HGD03527KS
Rok wydania
1996
Strony
532
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Strohmeier Alfred
Język
angielski
Bez ryzyka
14 dni na łatwy zwrot
Szeroki asortyment
ponad milion pozycji
Niskie ceny i rabaty
nawet do 50% każdego dnia
Niepotwierdzona zakupem
Ocena: /5
Marka
Symbol
925HGD03527KS
Kod producenta
9783540613176
Rok wydania
1996
Strony
532
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Strohmeier Alfred
Język
angielski
This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996.
The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed systems, real-time systems, compilers and tools, the Ada 95 language, and interfaces to other worlds.
EAN: 9783540613176
The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed systems, real-time systems, compilers and tools, the Ada 95 language, and interfaces to other worlds.
EAN: 9783540613176
Niepotwierdzona zakupem
Ocena: /5
Zapytaj o produkt
Niepotwierdzona zakupem
Ocena: /5
Napisz swoją opinię