Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Oktober 2016
Genre:	EDV / Informatik
	C / Computer architecture & logic design / Computer logic / Computer Modelling / Computer modelling & simulation / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computer simulation / Computermodellierung und -simulation / Formal Languages and Automata Theory / Logics and Meanings of Programs / Mathematical & statistical software / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical statistics / Mathematical theory of computation / Mathematik für Informatiker / Maths for computer scientists / Probability and Statistics in Computer Science / Simulation and Modeling / Software Engineering / Theoretische Informatik / Wahrscheinlichkeitsrechnung und Statistik mehr...
ISBN:	9783319476766
EAN-Code:	9783319476766
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#9984 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	5212 gr
Seiten:	323
Illustration:	XVIII, 323 p. 78 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016. The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.