Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Dependable Software Engineering. Theories, Tools, and Applications Kim G. Larsen

Dependable Software Engineering. Theories, Tools, and Applications

Szerző: Kim G. Larsen, Oleg Sokolsky, Ji Wang
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer International Publishing AG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 173 Ft
This book constitutes the proceedings of the Third International Symposium on Dependable Software En...

Információk a könyvről

Szerző
Kim G. Larsen, Oleg Sokolsky, Ji Wang
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2017
oldal
351
EAN
9783319694825
ISBN
3319694820
Enbook ID
18184905
Kiadó
Springer International Publishing AG
Súly
5621
Méretek
155 x 235 x 19

Teljes leírás

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.

Érdekelheti

Law of Primitive Man

E. Adamson Hoebel
14 190 Ft

School Frozen In Time, Volume 1

Naoshi Arakawa
3 940 Ft

American Royals II: Majesty

Katharine McGee
4 319 Ft

Leadershift

John Maxwell
5 450 Ft

Possessive Investment in Whiteness

George Lipsitz
39 534 Ft

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

U S Department of Heal Human Services
8 812 Ft

Global Impact of South Korean Popular Culture

Crystal S. Anderson
21 813 Ft

Traditions / Superstitions from around the world!

Ava Laboy Capo
6 719 Ft

Bebop Level 2 Student's Book Pack

Lorena Peimbert
8 696 Ft

In Defence of Dogs

John Bradshaw
5 085 Ft

Making Ideas Happen

Scott Belsky
4 319 Ft

Formation of Gaming Culture

Graeme Kirkpatrick
20 499 Ft

Command and Control

Eric Schlosser
4 533 Ft

How to Do Ecology

Richard Karban
9 885 Ft

Bread Givers

Anzia Yezierska
7 583 Ft

Historical Turn in Analytic Philosophy

Erich H Reck
40 171 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Kůň prince Filipa modrý

3 388 Ft

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

Kay Arthur
2 894 Ft

Leere erfassen - Die Leere erschaffen

Benjamin Itter
15 998 Ft