Computer Safety, Reliability, and Security | 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings

Alexander Romanovsky (u. a.)

ISBN 10: 3030266001 ISBN 13: 9783030266004
Verlag: Springer, 2019
Neu Taschenbuch

Verkäufer preigu, Osnabrück, Deutschland Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

AbeBooks-Verkäufer seit 5. August 2024


Beschreibung

Beschreibung:

Computer Safety, Reliability, and Security | 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings | Alexander Romanovsky (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxi | Englisch | 2019 | Springer | EAN 9783030266004 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 116831956

Diesen Artikel melden

Inhaltsangabe:

This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.

The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. 

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Computer Safety, Reliability, and Security |...
Verlag: Springer
Erscheinungsdatum: 2019
Einband: Taschenbuch
Zustand: Neu

Beste Suchergebnisse beim ZVAB

Beispielbild für diese ISBN

Unbekannt
Verlag: Springer, 2019
ISBN 10: 3030266001 ISBN 13: 9783030266004
Gebraucht Softcover

Anbieter: Buchpark, Trebbin, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 340 | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. Artikel-Nr. 35302134/1

Verkäufer kontaktieren

Gebraucht kaufen

EUR 47,79
EUR 105,00 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2019
ISBN 10: 3030266001 ISBN 13: 9783030266004
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Artikel-Nr. ria9783030266004_new

Verkäufer kontaktieren

Neu kaufen

EUR 66,74
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Friedemann Bitsch
Verlag: Springer, 2019
ISBN 10: 3030266001 ISBN 13: 9783030266004
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. Artikel-Nr. 9783030266004

Verkäufer kontaktieren

Neu kaufen

EUR 68,67
EUR 62,59 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Romanovsky, Alexander (Editor)/ Troubitsyna, Elena (Editor)/ Bitsch, Friedemann (Editor)
ISBN 10: 3030266001 ISBN 13: 9783030266004
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 340 pages. 9.25x6.10x0.71 inches. In Stock. Artikel-Nr. x-3030266001

Verkäufer kontaktieren

Neu kaufen

EUR 93,56
EUR 11,59 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

In den Warenkorb