Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Dependable Software Engineering. Theories, Tools, and Applications

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

Language EnglishEnglish
E-book Adobe ePub DRM
E-book Dependable Software Engineering. Theories, Tools, and Applications Nan Guan
Libristo code: 41003335
Publishers Springer, November 2019
This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engi... Full description
? points 153 b
63.30 €
123.81  лв
In stock Immediate digital delivery

Customers also purchased

Michael Beer's Briefwechsel Michael Beer / Book Paperback
common.buy 28.57 € 55.88 лв
Estres Y Burnout Enfermedades En La Vida Actual MARIA ESTH BARRADAS / Book Hardback
common.buy 23.10 € 45.17 лв

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.  

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Dependable Software Engineering. Theories, Tools, and Applications
Author Nan Guan, Joost-Pieter Katoen, Jun Sun
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2019
EAN 9783030355401
Libristo code 41003335
Publishers Springer

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer modelling & simulation
Computing & Information Technology > Computer networking & communications
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Cat Spitting Mad Shirley Rousseau Murphy / Book Paperback
common.buy 9.14 € 17.88 лв
New Plays: By an Old Author (1876) Daniel Puseley / Book Paperback
common.buy 24.03 € 46.99 лв
Death Has Deep Roots Michael Gilbert / E-book Adobe ePub DRM
common.buy 8.94 € 17.48 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?