> Detailanzeige

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

Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20 - 24, 2005 ; proceedings

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: Buch; Konferenzbericht
  • Titel: Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20 - 24, 2005 ; proceedings
  • Enthält: ApplicationsDesign and scheduling issues -- Formal methods -- Ada and education -- Certification and verification -- Distributed systems -- Language issues -- Ravenscar technology.
  • Beteiligte: Vardanega, Tullio [Hrsg.]
  • Veranstaltung: International Conference on Reliable Software Technologies
  • Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2005
  • Erschienen in: Lecture notes in computer science ; 3555
  • Umfang: XV, 271 S.; Ill., graph. Darst
  • Sprache: Englisch
  • ISBN: 9783540262862; 3540262865
  • RVK-Notation: SS 4800 : Lecture notes in computer science
  • Schlagwörter: Softwareentwicklung > Zuverlässigkeit
    Ada
    Eingebettetes System
  • Entstehung:
  • Anmerkungen: Literaturangaben
  • Weitere Bestandsnachweise
    0 : Lecture notes in computer science

Exemplare

(0)

Bereichsbibliothek DrePunct – Magazin

  • Signatur: R2016 8 6891
  • Barcode: 31197365
  • Status: Ausleihbar, bitte bestellen
Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung