Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

Dependable Software Engineering. Theories, Tools, and Applications

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

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

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer International Publishing AG

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

1 310 Kč

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

Informace o knize

Autor

Kim G. Larsen, Oleg Sokolsky, Ji Wang

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2017

Stránek

351

EAN

9783319694825

ISBN

3319694820

Enbook ID

18184905

Vydavatel

Springer International Publishing AG

Hmotnost

5621

Rozměry

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.

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Dependable Software Engineering. Theories, Tools, and Applications

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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ákaznicí kteří koupili tuto knihu koupili také

Kůň prince Filipa modrý

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

Leere erfassen - Die Leere erschaffen