Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Couverture souple

9783031433658: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Couverture souple

ISBN 10 : 3031433653 ISBN 13 : 9783031433658

Editeur : Springer, 2023

Afficher les exemplaires de cette �dition comportant l?ISBN

3 D'occasion

De EUR 53,21

11 Neuf

De EUR 58,23

This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023.

The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2023
Langue: anglais
ISBN 10: 3031433653
ISBN 13: 9783031433658
Reliure: Broch�
Num�ro d'�dition: 1
Nombre de pages: 248
�diteur: Milius Birgit, Collart-Dutilleul Simon, Lecomte Thierry
Coordonn�es du fabricant: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Acheter D'occasion

�tat : Assez bon

Afficher cet article

EUR 53,21

Exp�dition �EUR 4,25
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 58,23

Exp�dition �EUR 5,50
Exp�dition depuis Italie vers Etats-Unis

Ajouter au panier

R�sultats de recherche pour Reliability, Safety, and Security of Railway Systems....

Image d'archives

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)

Edit� par Springer, 2023

ISBN 10 : 3031433653 ISBN 13 : 9783031433658

Ancien ou d'occasion paperback

Vendeur : Books From California, Simi Valley, CA, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

paperback. Etat : Very Good. N� de r�f. du vendeur mon0003612464

Contacter le vendeur

Acheter D'occasion

EUR 53,21

Exp�dition �EUR 4,25
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (eng)

Milius, Birgit

Edit� par Springer, 2023

ISBN 10 : 3031433653 ISBN 13 : 9783031433658

Neuf Couverture souple

impression � la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 4 sur 5 �toiles

Etat : new. Questo � un articolo print on demand. N� de r�f. du vendeur G9R49QB2FP

Contacter le vendeur

Acheter neuf

EUR 58,23

Exp�dition �EUR 5,50
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)

Edit� par Springer, 2023

ISBN 10 : 3031433653 ISBN 13 : 9783031433658

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783031433658_new

Contacter le vendeur

Acheter neuf

EUR 65,95

Exp�dition �EUR 13,82
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Birgit Milius

Edit� par Springer Nature Switzerland, Springer International Publishing Sep 2023, 2023

ISBN 10 : 3031433653 ISBN 13 : 9783031433658

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling. 248 pp. Englisch. N� de r�f. du vendeur 9783031433658

Contacter le vendeur

Acheter neuf

EUR 69,54

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)

Edit� par Springer, 2023

ISBN 10 : 3031433653 ISBN 13 : 9783031433658

Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. pp. 248. N� de r�f. du vendeur 26398554171

Contacter le vendeur

Acheter neuf

EUR 97,53

Exp�dition �EUR 3,40
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)

Edit� par Springer, 2023

ISBN 10 : 3031433653 ISBN 13 : 9783031433658

Neuf Couverture souple

impression � la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Print on Demand pp. 248. N� de r�f. du vendeur 397855716

Contacter le vendeur

Acheter neuf

EUR 97,74

Exp�dition �EUR 7,50
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, Rssrail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

Milius, Birgit (Editor)/ Collart-dutilleul, Simon (Editor)/ Lecomte, Thierry (Editor)

Edit� par Springer-Nature New York Inc, 2023

ISBN 10 : 3031433653 ISBN 13 : 9783031433658

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 246 pages. 9.25x6.10x0.52 inches. In Stock. N� de r�f. du vendeur x-3031433653

Contacter le vendeur

Acheter neuf

EUR 96,21

Exp�dition �EUR 11,53
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)

Edit� par Springer, 2023

ISBN 10 : 3031433653 ISBN 13 : 9783031433658

Neuf Couverture souple

impression � la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. PRINT ON DEMAND pp. 248. N� de r�f. du vendeur 18398554161

Contacter le vendeur

Acheter neuf

EUR 100,07

Exp�dition �EUR 9,95
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Edit� par Springer, Berlin|Springer Nature Switzerland|Springer, 2023

ISBN 10 : 3031433653 ISBN 13 : 9783031433658

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023. N� de r�f. du vendeur 1027290361

Contacter le vendeur

Acheter neuf

EUR 61,55

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Birgit Milius

Edit� par Springer, Springer Sep 2023, 2023

ISBN 10 : 3031433653 ISBN 13 : 9783031433658

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10�12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 248 pp. Englisch. N� de r�f. du vendeur 9783031433658

Contacter le vendeur

Acheter neuf

EUR 69,54

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

There are 4 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre