Cantitate/Preț
Produs
Total produse
Vezi coșul
Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures de Jonathan P. Bowen

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures: Lecture Notes in Computer Science, cartea 11430

Editat de Jonathan P. Bowen, Zhiming Liu, Zili Zhang
en Limba Engleză Paperback – 14 apr 2019
This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China.
The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Büchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.

Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (4) 31705 lei  6-8 săpt.
  Springer International Publishing – 13 noi 2018 31705 lei  6-8 săpt.
  Springer International Publishing – aug 2020 31705 lei  6-8 săpt.
  Springer International Publishing – 6 apr 2017 31880 lei  6-8 săpt.
  Springer International Publishing – 14 apr 2019 37254 lei  6-8 săpt.

Din seria Lecture Notes in Computer Science

Preț: 37254 lei

Preț vechi: 46568 lei
-20% Nou

Puncte Express: 559
Preț estimativ în valută:
6592€ • 7730$ • 5789£

Carte tipărită la comandă

Livrare economică 04-18 februarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030176006
ISBN-10: 3030176002
Pagini: 200
Ilustrații: XVII, 237 p. 556 illus., 84 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.36 kg
Ediția:1st ed. 2019
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

An Introduction to Software Verification with Whiley.- Learning Büchi Automata and Its Applications.- Securing Emergent IoT Applications.- Programming Z3.- The Impact of Alan Turing: Formal Methods and Beyond. 

Notă biografică

Editors: Jonathan P. Bowen, London Southbank University, UK;
Zhiming Liu, Southwest University, Chongqing, China;
Zili Zhang, Southwest University, Chongqing, China

Caracteristici

Written by experts Made for postgraduate students, researchers, academics, and engineers in industry Provides an overview of leading-edge research in methods and tools for use in computer system engineering

Textul de pe ultima copertă

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.