Jetzt Dependable Software Engineering: Theories, Tools, von Zhiming Liu und Wang Yi als Buch bei 1Advd.ch kaufen

Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 5 Artikel!

Übersicht

Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Oktober 2015
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 logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Simulation and Modeling / Software Engineering / Theoretische Informatik mehr...
ISBN:	9783319259413
EAN-Code:	9783319259413
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#9409 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D 22 mm
Gewicht:	5153 gr
Seiten:	317
Illustration:	XIX, 317 p. 86 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 First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.

The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.

Weitere Tipps:		0 Warenkorb ansehen


SUCHEN