Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dependable Software Engineering. Theories, Tools, and Applications

Name: Dependable Software Engineering. Theories, Tools, and Applications
Brand: Springer Nature Switzerland AG
SKU: 24971044
Price: 51.56 EUR
Availability: InStock
Author: Nan Guan
ISBN: 9783030355395

5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings

Nan Guan

Joost-Pieter Katoen

Jun Sun

Language

English

Book Paperback

Libristo code: 24971044

Publishers Springer Nature Switzerland AG, November 2019

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engi... Full description

Libristo code: 24971044

125 b

51.56 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Weltgeschichte Fur Das Deutsche Volk F. C. Schlosser

Paperback

31.18 €

Palabras para armar tu canto Ramón Iván Suárez Caamal

Paperback

17.25 €

TEATRO SOCIAL BREVE MARIBEL RODRIGUEZ GOROSTIZA

Hardback

26.64 €

CARS - Mon Histoire du soir - L'histoire du film - Disney Pixar Disney

Paperback

6.35 €

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities.