KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Buch

Formal methods for industrial critical systems : 18th international workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings (2013)

Pecheur, Charles ; FMICS 18 2013 Madrid

Berlin [u.a.] :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_BV041289212

Umfang: VIII, 198 S. : , graph. Darst.

ISBN: 978-3-642-41009-3

Serie: Lecture notes in computer science 8187

Weitere Ausg.: Erscheint auch als Online-Ausgabe ISBN 978-3-642-41010-9

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Sicherheitskritisches System ; Formale Methode ; Systemanalyse ; Systementwurf ; Softwareentwicklung ; Verifikation ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift

Mehr zum Autor: Pecheur, Charles

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

HU Berlin

Berlin VÖBB/ZLB

TU Berlin

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg