Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

Autor: Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer Nature Switzerland AG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This volume contains a record of some of the lectures and seminars delivered at the Third Internatio...

Informace o knize

Autor

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2018

Stránek

219

EAN

9783030029272

ISBN

9783030029272

Enbook ID

20306768

Vydavatel

Springer Nature Switzerland AG

Hmotnost

373

Rozměry

155 x 235 x 14

Kompletní popis

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.

Mohlo by vás zajímat

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

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Problems in Hydraulics and Fluid Mechanics

Witches' Forbidden Herbs

Dissimilarity Representation For Pattern Recognition, The: Foundations And Applications

The Official Cambridge Guide to IELTS Student's Book with Answers

End of Tour

Picardia Cubana En Versos

Progress in Drug Research

The Standard Of Pronunciation In English (1904)

series of letters from London written during the years 1856, '57, '58, '59, and '60

Port Colborne Ontario Book 1 in Colour Photos: Saving Our History One Photo at a Time

Woulda Coulda Shoulda Guide to Canadian Inventions

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

Antibióticos en odontopediatría

Georges Dumézil

LA RELIURE TECHNIQUES DECORATIVES

Lehr- und Übungsbuch

Jetzt seid Ihr dran! Unternehmensnachfolge richtig steuern

Logika wystarczy

Lieder für Gott und die Welt

Yenilenebilir Enerjide Mevzuat Sorunlar_na Yönelik Arast_rma

Establecimientos de Prostitucion en Bogota

Mit Virtuellen Unternehmen Zum Erfolg

Theorie Der Bodensenkungen in Kohlengebieten Mit Besonderer Ber cksichtigung Der Eisenbahnsenkungen Des Ostrau-Karwiner Steinkohlenrevieres