Dependable Software Engineering: Theories, Tools, and Applications

Name: Dependable Software Engineering: Theories, Tools, and Applications
Brand: Springer International Publishing AG
SKU: 9783319259413
Price: 205.68 PLN
Availability: InStock

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

Autor: Xuandong Li, Zhiming Liu, Wang Yi

Język:

Oprawa: Miękka

Wydawca: Springer International Publishing AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

205.68 zł

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

Informacje o książce

Autor

Xuandong Li, Zhiming Liu, Wang Yi

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2015

strony

317

EAN

9783319259413

ISBN

3319259415

Enbook ID

09545820

Wydawca

Springer International Publishing AG

Waga

5153

Wymiary

155 x 235 x 18

Pełny opis

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

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Dependable Software Engineering: Theories, Tools, and Applications

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Trading Systems As A Determining Factor in Trading Performance

Colt Under the Wire

Book of Proverbs in Plain English

14-Tom Swift and the Coupe of Invisibility (Hb)

Lyotard, Beckett, Duras, and the Postmodern Sublime

FDR and Civil Aviation

Nachrufe Auf Berliner Mathematiker Des 19. Jahrhunderts

Twenty-Four Lays from the French Middle Ages

IMMORTALITY OF THE SOUL & THE

Fixed and Free: poetry anthology 2011

Taken Away Parts 1 - 3 Complete Edition

A Golden Age and other poems

Klienci, którzy kupili tę książkę, kupili również

Gramática de la Lengua Castellana

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

LE FANTOME DE LA FERME