Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=625.79*
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1003136737 |
Art des Inhalts | Konferenzschrift, 2010, Braunschweig |
Titel | Forms - Format 2010 : formal methods for automation and safety in railway and automotive systems / Eckehard Schnieder ; Géza Tarnai ed. |
Person(en) | Schnieder, Eckehard (Herausgeber) |
Verlag | Berlin ; Heidelberg : Springer |
Zeitliche Einordnung | Erscheinungsdatum: 2011 |
Umfang/Format | XI, 256 S. : graph. Darst. ; 24 cm |
Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: FORMS/FORMAT 2010 |
ISBN/Einband/Preis | 978-3-642-14260-4 Pp. : EUR 149.75 (freier Pr.), ca. sfr 295.00 (freier Pr.) |
Bestellnummer(n) | 80017704 |
EAN | 9783642142604 |
Sprache(n) | Englisch (eng) |
Anmerkungen | Literaturangaben |
Schlagwörter |
Eisenbahnverkehr ; Eisenbahnsignalanlage ; Verkehrsleitsystem ; Sicherheitsanalyse ; Formale Methode ; Kongress ; Braunschweig <2010> Straßenverkehr ; Verkehrsleitsystem ; Verkehrssicherheit ; Formale Methode ; Kongress ; Braunschweig <2010> |
DDC-Notation | 625.100289 [DDC22ger]; 625.794 [DDC22ger] |
Sachgruppe(n) | 620 Ingenieurwissenschaften und Maschinenbau |
Weiterführende Informationen |
Inhaltsverzeichnis Inhaltstext |
Frankfurt |
Signatur: 2011 A 23808 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2011 A 25212 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
