logo
0
Product categories

EbookNice.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link.  https://ebooknice.com/page/post?id=faq


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookNice Team

(Ebook) Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings by Xinyu Feng, Markus Müller-Olm, Zijiang Yang ISBN 9783319999326, 9783319999333, 331999932X, 3319999338

  • SKU: EBN-7325786
Zoomable Image
$ 32 $ 40 (-20%)

Status:

Available

4.5

16 reviews
Instant download (eBook) Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings after payment.
Authors:Xinyu Feng, Markus Müller-Olm, Zijiang Yang
Year:2018
Editon:1st ed.
Publisher:Springer International Publishing
Language:english
File Size:14.74 MB
Format:pdf
ISBNS:9783319999326, 9783319999333, 331999932X, 3319999338
Categories: Ebooks

Product desciption

(Ebook) Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings by Xinyu Feng, Markus Müller-Olm, Zijiang Yang ISBN 9783319999326, 9783319999333, 331999932X, 3319999338

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.
*Free conversion of into popular formats such as PDF, DOCX, DOC, AZW, EPUB, and MOBI after payment.

Related Products

-20%

(Ebook) Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings by Xinyu Feng, Markus Müller-Olm, Zijiang Yang ISBN 9783319999326, 9783319999333, 331999932X, 3319999338

4.5

16 reviews
$40 $32
-20%

(Ebook) Matematik 5000+ Kurs 2c Lärobok by Lena Alfredsson, Hans Heikne, Sanna Bodemyr ISBN 9789127456600, 9127456609

4.6

12 reviews
$40 $32
-20%

(Ebook) SAT II Success MATH 1C and 2C 2002 (Peterson's SAT II Success) by Peterson's ISBN 9780768906677, 0768906679

$40 $32
-20%

(Ebook) Master SAT II Math 1c and 2c 4th ed (Arco Master the SAT Subject Test: Math Levels 1 & 2) by Arco ISBN 9780768923049, 0768923042

4.7

9 reviews
$40 $32
-20%

(Ebook) Cambridge IGCSE and O Level History Workbook 2C - Depth Study: the United States, 1919-41 2nd Edition by Benjamin Harrison ISBN 9781398375147, 9781398375048, 1398375144, 1398375047

$40 $32
-20%

(Ebook) Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings by Nan Guan, Joost-Pieter Katoen, Jun Sun ISBN 9783030355395, 9783030355401, 303035539X, 3030355403

$40 $32
-20%

(Ebook) Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings by Jun Pang, Lijun Zhang ISBN 9783030628215, 9783030628222, 3030628213, 3030628221

4.7

25 reviews
$40 $32
-20%

(Ebook) Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings by Annabelle McIver, Andras Horvath ISBN 9783319991535, 9783319991542, 3319991531, 331999154X

4.4

31 reviews
$40 $32
-20%

(Ebook) Search-Based Software Engineering: 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings by Thelma Elita Colanzi, Phil McMinn ISBN 9783319992402, 9783319992419, 3319992406, 3319992414

4.5

7 reviews
$40 $32