> 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: foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers Beteiligte: Oliveira, Marcel Vinícius Medeiros [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft]; Medeiros Oliveira, Marcel Vinícius [Herausgeber:in] Veranstaltung: Brazilian Symposium on Formal Methods Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2009 Erschienen in: Lecture notes in computer science ; 5902 Umfang: X, 349 S.; graph. Darst; 235 mm x 155 mm Sprache: Englisch ISBN: 3642104517; 9783642104510 Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 12793839 RVK-Notation: SS 4800 : Lecture notes in computer science Schlagwörter: Software > Testen > Programmverifikation > Formale Methode Verifikation > Formale Methode Sicherheitskritisches System > Interrupt > Formale Methode Fehlertoleranz > Formale Methode Model Checking Entstehung: Anmerkungen: Literaturangaben Weitere Bestandsnachweise 0 : Lecture notes in computer science
Bereichsbibliothek DrePunct – Magazin Signatur: R2017 8 720 Barcode: 32184432 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung