> Details

Vardanega, Tullio [Editor] ; International Conference on Reliable Software Technologies 10 2005 York

Reliable software technology - Ada-Europe 2005

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Book; Conference Proceedings
  • Title: Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20 - 24, 2005 ; proceedings
  • Contains: ApplicationsDesign and scheduling issues -- Formal methods -- Ada and education -- Certification and verification -- Distributed systems -- Language issues -- Ravenscar technology.
  • Contributor: Vardanega, Tullio [Hrsg.]
  • Event: International Conference on Reliable Software Technologies
  • imprint: Berlin; Heidelberg [u.a.]: Springer, 2005
  • Published in: Lecture notes in computer science ; 3555
  • Extent: XV, 271 S.; Ill., graph. Darst
  • Language: English
  • ISBN: 9783540262862; 3540262865
  • RVK notation: SS 4800 : Lecture notes in computer science
  • Keywords: Softwareentwicklung > Zuverlässigkeit
    Ada
    Eingebettetes System
  • Origination:
  • Footnote: Literaturangaben

copies

(0)

Departmental Library DrePunct – stack

  • Shelf-mark: R2016 8 6891
  • Item ID: 31197365
  • Status: Loanable, place order
Delivery expected: 1 - 2 days after order