Dependable Software Engineering. Theories, Tools, and Applications

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

Автор: Kim G. Larsen, Oleg Sokolsky, Ji Wang

Език:

Корици: С меки корици

Издател: Springer International Publishing AG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.82 € 103.30 лв

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

Информация за книгата

Автор

Kim G. Larsen, Oleg Sokolsky, Ji Wang

Език

Английски език

Корици

Книга - С меки корици

Издадена

2017

страници

351

EAN

9783319694825

ISBN

3319694820

Enbook ID

18184905

Издател

Springer International Publishing AG

Теглоt

5621

Размери

155 x 235 x 19

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Dependable Software Engineering. Theories, Tools, and Applications

Информация за книгата

Пълно описание

Може също да ви хареса

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

Клиенти, които купиха тази книга, купиха също

Kůň prince Filipa modrý

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

Leere erfassen - Die Leere erschaffen