Dependable Software Engineering. Theories, Tools, and Applications

Name: Dependable Software Engineering. Theories, Tools, and Applications
Brand: Springer International Publishing AG
SKU: 9783319694825
Price: 50.22 EUR
Availability: InStock

Autor: Kim G. Larsen, Oleg Sokolsky, Ji Wang

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer International Publishing AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.22 €

This book constitutes the proceedings of the Third International Symposium on Dependable Software En...

Informácie o knihe

Autor

Kim G. Larsen, Oleg Sokolsky, Ji Wang

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2017

Stránok

351

EAN

9783319694825

ISBN

3319694820

Enbook ID

18184905

Vydavateľ

Springer International Publishing AG

Hmotnosť

5621

Rozmery

155 x 235 x 19

Kompletný popis

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October 2017. The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Dependable Software Engineering. Theories, Tools, and Applications

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Law of Primitive Man

School Frozen In Time, Volume 1

American Royals II: Majesty

Leadershift

Possessive Investment in Whiteness

Exercise-Induced Bronchoconstriction and Asthma: Evidence Report/Technology Assessment Number 189

Global Impact of South Korean Popular Culture

Traditions / Superstitions from around the world!

Bebop Level 2 Student's Book Pack

In Defence of Dogs

Making Ideas Happen

Formation of Gaming Culture

Command and Control

How to Do Ecology

Bread Givers

Historical Turn in Analytic Philosophy

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Kůň prince Filipa modrý

Victoria y No Derrota / Choosing Victory, Overcoming Defeat (New Inductive Studies Series)

Leere erfassen - Die Leere erschaffen