Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dependable Software Engineering: Theories, Tools, and Applications

Name: Dependable Software Engineering: Theories, Tools, and Applications
Brand: Springer International Publishing AG
SKU: 09545820
Price: 49.56 EUR
Availability: InStock
Author: Xuandong Li
ISBN: 9783319259413

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

Xuandong Li

Zhiming Liu

Wang Yi

Language

English

Book Paperback

Libristo code: 09545820

Publishers Springer International Publishing AG, October 2015

This book constitutes the refereed proceedings of the First International Symposium on Dependable So... Full description

Libristo code: 09545820

120 b

49.56 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Gramática de la Lengua Castellana Anónimo

Paperback

44.50 €

Revue française de socio-économie numéro 2 Le Care - Entre transactions familiales et économie de se Revue Française de sociologie économique

Toy

30.34 €

LE FANTOME DE LA FERME GERVAIS STEPHANIE Book

binding.

22.24 €

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.§