Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Dependable Software Engineering: Theories, Tools, and Applications Xuandong Li

Dependable Software Engineering: Theories, Tools, and Applications

First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Autor: Xuandong Li, Zhiming Liu, Wang Yi
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer International Publishing AG
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 101 Kč
This book constitutes the refereed proceedings of the First International Symposium on Dependable So...

Informace o knize

Autor
Xuandong Li, Zhiming Liu, Wang Yi
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2015
Stránek
317
EAN
9783319259413
ISBN
3319259415
Enbook ID
09545820
Vydavatel
Springer International Publishing AG
Hmotnost
5153
Rozměry
155 x 235 x 18

Kompletní popis

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.§§The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.§

Mohlo by vás zajímat

Trading Systems As A Determining Factor in Trading Performance

Ned Gandevani
1 407 Kč

Colt Under the Wire

Lenora Swiger
410 Kč

Book of Proverbs in Plain English

Frank Larosa
666 Kč

14-Tom Swift and the Coupe of Invisibility (Hb)

Victor Appleton II
885 Kč

Lyotard, Beckett, Duras, and the Postmodern Sublime

Andrew Slade
1 838 Kč

FDR and Civil Aviation

A. Dobson
1 186 Kč

Nachrufe Auf Berliner Mathematiker Des 19. Jahrhunderts

H. Reichardt
1 071 Kč

Twenty-Four Lays from the French Middle Ages

Glyn S. Burgess
4 107 Kč

IMMORTALITY OF THE SOUL & THE

N. L. (Nathan Lewis) 1807-1877 Rice
728 Kč

Fixed and Free: poetry anthology 2011

Billy Brown
331 Kč

Taken Away Parts 1 - 3 Complete Edition

David Sloma
336 Kč

A Golden Age and other poems

Edmund James Gubbins
154 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Gramática de la Lengua Castellana

Anónimo
984 Kč

Revue française de socio-économie numéro 2 Le Care - Entre transactions familiales et économie de se

Revue Française de sociologie économique
714 Kč

LE FANTOME DE LA FERME

GERVAIS STEPHANIE
525 Kč