Konferenzschrift

Formal methods for automation and safety in railway and automotive systems : proceedings of Symposium FORMS/FORMAT 2007, Braunschweig, Germany, 25th and 26th January, 2007

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783937655093
Dimensions
21 cm
Extent
X S., S. 11 - 480
Language
Englisch
Notes
Ill., graph. Darst.
Literaturangaben

Event
Veröffentlichung
(where)
Braunschweig
(who)
GZVB
(when)
2007
Contributor

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 1:49 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Konferenzschrift

Associated

Time of origin

  • 2007

Other Objects (12)