Xuandong Li (ed.) | Akateeminen Kirjakauppa

DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS : FIRST INTERNATIONAL SYMPOSIUM, SETTA 2015, NANJING, CHINA,

Xuandong Li (ed.); Zhiming Liu (ed.); Wang Yi (ed.)
Springer (2015)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

47,70 €

Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China,

Xuandong Li (ed.), Zhiming Liu (ed.), Wang Yi (ed.)

47,70 €

Springer
Sivumäärä: 317 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2015, 27.10.2015 (lisätietoa)
Kieli: Englanti

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus