Dependable Computing-Edcc-1 : First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : Proceedings (Lecture Notes in Comp)

Echtle, Klaus [Editor]; Hammer, Dieter [Editor]; Powell, David [Editor];

ISBN 10: 3540584269 / ISBN 13: 9783540584261

Verlag: Springer, 1994

Beschreibung

Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, text block clean and unmarked. Tight binding.

Bestandsnummer des Verkäufers UTD14a-0937

Bibliografische Details

• Titel: Dependable Computing-Edcc-1 : First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : Proceedings (Lecture Notes in Comp)
• Verlag: Springer
• Erscheinungsjahr: 1994
• Sprache: Englisch
• ISBN-10: 3540584269
• ISBN-13: 9783540584261
• Einband: Paperback
• Zustand: Very Good

Über diesen Titel

Inhaltsangabe

This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing.
The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.