Könyv Dependable Software Engineering. Theories, Tools, and Applications Kim G. Larsen

Dependable Software Engineering. Theories, Tools, and Applications

Nyelv: Angol
Kötés: Puha kötésű
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

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2017
oldal
351
EAN
9783319694825
ISBN
3319694820
Enbook ID
18184905
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
3 940 Ft
4 319 Ft

Leadershift

John Maxwell
5 450 Ft
39 534 Ft
8 696 Ft

In Defence of Dogs

John Bradshaw
5 085 Ft
4 319 Ft
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

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