Willkommen, schön sind Sie da!
Logo Ex Libris

Dependable Software Engineering: Theories, Tools, and Applications

  • Kartonierter Einband
  • 317 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, ... Weiterlesen
CHF 100.00
Exemplar wird für Sie besorgt.
Kein Rückgaberecht!
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

Produktinformationen

Titel: Dependable Software Engineering: Theories, Tools, and Applications
Untertitel: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Editor:
EAN: 9783319259413
ISBN: 978-3-319-25941-3
Format: Kartonierter Einband
Herausgeber: Springer, Berlin
Genre: Informatik
Anzahl Seiten: 317
Größe: H18mm x B234mm x T156mm
Jahr: 2015
Untertitel: Englisch
Auflage: 1st ed. 2015

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"