Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	September 2016
Genre:	EDV / Informatik
	Application software / C / Computation by Abstract Devices / Computer and Information Systems Applications / Computer Applications / Computer architecture & logic design / Computer logic / computer science / Computer Science Logic and Foundations of Programming / Computers / Formal Languages and Automata Theory / Information technology# general issues / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Software Engineering / Theory of Computation
ISBN:	9783319454795
EAN-Code:	9783319454795
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Serie:	#9923 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D 23 mm
Gewicht:	628 gr
Seiten:	416
Zus. Info:	Paperback
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016. The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year¿s workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems; and TIPS 2016 ¿ Timing Performance in Safety Engineering.