0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings (Paperback, 1st ed. 2018) Loot Price: R1,559
Discovery Miles 15 590
Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China,...

Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings (Paperback, 1st ed. 2018)

Xinyu Feng, Markus Muller-Olm, Zijiang Yang

Series: Lecture Notes in Computer Science, 10998

 (sign in to rate)
Loot Price R1,559 Discovery Miles 15 590 | Repayment Terms: R146 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 10998
Release date: August 2018
First published: 2018
Editors: Xinyu Feng • Markus Muller-Olm • Zijiang Yang
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 201
Edition: 1st ed. 2018
ISBN-13: 978-3-319-99932-6
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Computer programming > Programming languages > General
Promotions
LSN: 3-319-99932-X
Barcode: 9783319999326

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global…
Walter Savitch Paperback R2,571 Discovery Miles 25 710
Introducing Delphi Programming - Theory…
John Barrow, Linda Miller, … Paperback  (1)
R863 Discovery Miles 8 630
C++ Programming - Program Design…
D. Malik Paperback R1,687 R1,560 Discovery Miles 15 600
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,910 Discovery Miles 19 100
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,344 Discovery Miles 13 440
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,599 Discovery Miles 25 990
The C++ Project - A companion for…
Marcos Tewfiq Hardcover R1,449 Discovery Miles 14 490
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R692 Discovery Miles 6 920
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R960 Discovery Miles 9 600
Basic Python Commands - Learn the Basic…
Manuel Mcfeely Hardcover R869 R747 Discovery Miles 7 470
CSS For Beginners - The Best CSS Guide…
Ethan Hall Hardcover R997 R853 Discovery Miles 8 530

See more

Partners