> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29 - 30, 2011 ; proceedings Beteiligte: Salaün, Gwen [Hrsg.]; Schätz, Bernhard [Sonstige Person, Familie und Körperschaft] Veranstaltung: FMICS Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6959 Umfang: X, 259 S.; Ill., graph. Darst; 24 cm Sprache: Englisch ISBN: 9783642244308; 3642244300 Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80113916 RVK-Notation: SS 4800 : Lecture notes in computer science Schlagwörter: Sicherheitskritisches System > Formale Methode > Systemanalyse > Systementwurf > Softwareentwicklung > Verifikation Entstehung: Anmerkungen: Literaturangaben Weitere Bestandsnachweise 0 : Lecture notes in computer science
Bereichsbibliothek DrePunct – Magazin Signatur: R2017 8 2206 Barcode: 32995783 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden