Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv

Dependable Software Engineering: Theories, Tools, and Applications

- First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Engelsk Paperback

Dependable Software Engineering: Theories, Tools, and Applications

- First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Engelsk Paperback
Tjek vores konkurrenters priser

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.

Tjek vores konkurrenters priser
Normalpris
kr 431
Fragt: 39 kr
6 - 8 hverdage
20 kr
Pakkegebyr
God 4 anmeldelser på
Tjek vores konkurrenters priser

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.

Produktdetaljer
Sprog: Engelsk
Sider: 317
ISBN-13: 9783319259413
Indbinding: Paperback
Udgave:
ISBN-10: 3319259415
Kategori: Softwareudvikling
Udg. Dato: 27 okt 2015
Længde: 0mm
Bredde: 155mm
Højde: 235mm
Forlag: Springer International Publishing AG
Oplagsdato: 27 okt 2015
Forfatter(e):
Forfatter(e)


Kategori Softwareudvikling


ISBN-13 9783319259413


Sprog Engelsk


Indbinding Paperback


Sider 317


Udgave


Længde 0mm


Bredde 155mm


Højde 235mm


Udg. Dato 27 okt 2015


Oplagsdato 27 okt 2015


Forlag Springer International Publishing AG

Kategori sammenhænge