Librería: SpringBooks, Berlin, Alemania
Original o primera edición
EUR 59,17
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. 1. Auflage. Unread, with a mimimum of shelfwear. Immediately dispatched from Germany.
Librería: Buchpark, Trebbin, Alemania
EUR 30,88
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Seiten: 264 | Sprache: Englisch | Produktart: Bücher | This book examines the problem of interoperability related to operating rules and gives an overview of the formal method approaches related to this subject. The book examines the interoperability issues concerning implementation of European Rail Traffic Management System (ERTMS) while crossing a boarder. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools. The contributors will also discuss operating rule validation and formal methods for safety assessment.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 175,99
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 175,98
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 193,02
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 195,82
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 209,33
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 197,26
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 222,68
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer International Publishing, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 181,89
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This bookexamines theproblem of interoperability related to operating rules andgives an overview of the formal method approaches related to this subject. The book examines the interoperability issues concerning implementation of European Rail Traffic Management System (ERTMS) while crossing a boarder. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools.The contributors will also discuss operating rule validation and formal methods for safety assessment.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 273,90
Cantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 259 pages. 9.25x6.10x9.21 inches. In Stock.
Idioma: Inglés
Publicado por Springer International Publishing, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Librería: moluna, Greven, Alemania
EUR 153,73
Cantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents modern solutions for safety and interoperability validationDiscusses the efficiency of different tools used at different steps of the analysing processCovers trackside infrastructure modelling, signalling and operating rule ana.
Idioma: Inglés
Publicado por Springer International Publishing Jul 2021, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 181,89
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This bookexamines theproblem of interoperability related to operating rules andgives an overview of the formal method approaches related to this subject. The book examines the interoperability issues concerning implementation of European Rail Traffic Management System (ERTMS) while crossing a boarder. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools.The contributors will also discuss operating rule validation and formal methods for safety assessment. 264 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 228,93
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Idioma: Inglés
Publicado por Springer, Springer Jul 2021, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 181,89
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book examines the problem of interoperability related to operating rules and gives an overview of the formal method approaches related to this subject. The book examines the interoperability issues concerning implementation of European Rail Traffic Management System (ERTMS) while crossing a boarder. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools. The contributors will also discuss operating rule validation and formal methods for safety assessment.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 264 pp. Englisch.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 249,44
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.