Custom cover image
Custom cover image

Reliable Software Technologies — Ada-Europe’ 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies Santander, Spain, June 7–11, 1999 Proceedings / edited by Michael González Harbour, Juan A. Puente

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English, German Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 1622Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999Description: Online-RessourceISBN:
  • 9783540487531
  • 3540660933
Subject(s): Genre/Form: Additional physical formats: 9783540660934 | Buchausg. u.d.T.: Reliable software technologies - Ada-Europe '99. Berlin : Springer, 1999. XIII, 449 S.DDC classification:
  • 005.13/3
  • 005.133
  • 005.1 23
  • 005.45 23
RVK: RVK: SS 4800LOC classification:
  • QA76.758
DOI: DOI: 10.1007/3-540-48753-0Online resources: Summary: This book constitutes the refereed proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe '99, held in Santander, Spain in June 1999. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a large number of submissions. All current issues associated with the Ada programming language are addressed. The papers are organized in sections on Ravenscar profile and high-integrity systems, software architectures and design, testing, formal methods, education, distributed systems, real-time scheduling and kernels, tools, hardware/software codesign, fault-tolerance, and case studiesPPN: PPN: 1649357435Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-BAE | ZDB-2-SXCS | ZDB-2-SEB | ZDB-2-BAD
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT