Code: 09545820

Dependable Software Engineering: Theories, Tools, and Applications

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

by Xuandong Li, Zhiming Liu, Wang Yi

Language: English
Binding: Paperback
Number of pages: 317
Publisher: Springer International Publishing AG, 2015
More about this

49.50 €

RRP: 53.66 €

You save 4.17 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Gramática de la Lengua Castellana
44.44 € -14 %
Buy
LE FANTOME DE LA FERME
22.22 €
Buy
Colt Under the Wire
17.47 €
Buy
Lyotard, Beckett, Duras, and the Postmodern Sublime
82.53 € -4 %
Buy
Book of Proverbs in Plain English
28.38 €
Buy
Fixed and Free: poetry anthology 2011
14.03 € -7 %
Buy
Twenty-Four Lays from the French Middle Ages
174.78 €
Buy
Revue française de socio-économie numéro 2 Le Care - Entre transactions familiales et économie de se
30.30 €
Buy
FDR and Civil Aviation
53.23 € -4 %
Buy
Taken Away Parts 1 - 3 Complete Edition
14.24 € -7 %
Buy
A Golden Age and other poems
6.56 € -7 %
Buy
Trading Systems As A Determining Factor in Trading Performance
59.90 € -3 %
Buy
IMMORTALITY OF THE SOUL & THE
30.91 € -2 %
Buy
14-Tom Swift and the Coupe of Invisibility (Hb)
37.67 € -1 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Dependable Software Engineering: Theories, Tools, and Applications

Book details
Synopsis
Trending among others

You get 120 loyalty points

Book synopsis

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

Book details

Book category Books in English Computing & information technology Graphical & digital media applications 3D graphics & modelling

49.50 €

Full title: Dependable Software Engineering: Theories, Tools, and Applications
Subtitle: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Author: Xuandong Li, Zhiming Liu, Wang Yi
Language: English
Binding: Paperback
Number of pages: 317
EAN: 9783319259413
ISBN: 3319259415
ID: 09545820
Publisher: Springer International Publishing AG
Weight: 5153 g
Dimensions: 235 × 155 × 18 mm
Date of publishing: 17. October 2015