Di-Acro

Dependable Software Engineering: Theories, Tools, and Applica... - 9783319476766

Description: Dependable Software Engineering: Theories, Tools, and Applications Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings Author(s): Martin Fr?nzle, Deepak Kapur, Naijun Zhan Format: Paperback Publisher: Springer International Publishing AG, Switzerland Imprint: Springer International Publishing AG ISBN-13: 9783319476766, 978-3319476766 Synopsis This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016. The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions.?The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.?

Price: 38.14 GBP

Location: Aldershot

End Time: 2024-09-27T11:00:18.000Z

Shipping Cost: 26.16 GBP

Product Images

Dependable Software Engineering: Theories, Tools, and Applica... - 9783319476766

Item Specifics

Return postage will be paid by: Buyer

Returns Accepted: Returns Accepted

After receiving the item, your buyer should cancel the purchase within: 60 days

Return policy details:

Book Title: Dependable Software Engineering: Theories, Tools, and Applicat...

Item Height: 235 mm

Item Width: 155 mm

Series: Lecture Notes in Computer Science

Author: Martin Franzle, Deepak Kapur, Naijun Zhan

Publication Name: Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Format: Paperback

Language: English

Publisher: Springer International Publishing A&G

Subject: Computer Science

Publication Year: 2016

Type: Textbook

Item Weight: 5212 g

Number of Pages: 323 Pages

Recommended

SOFTWARE FOR DEPENDABLE SYSTEMS: SUFFICIENT EVIDENCE By National Research Mint
SOFTWARE FOR DEPENDABLE SYSTEMS: SUFFICIENT EVIDENCE By National Research Mint

$25.95

View Details
Dependable Software Engineering. Theories, Tools, and Applications: Third Intern
Dependable Software Engineering. Theories, Tools, and Applications: Third Intern

$77.35

View Details
Dependable Software Engineering: Theories, Tools, and Applications: First...
Dependable Software Engineering: Theories, Tools, and Applications: First...

$45.97

View Details
Hermanns - Dependable Software Engineering. Theories Tools and Appl - S9000z
Hermanns - Dependable Software Engineering. Theories Tools and Appl - S9000z

$107.93

View Details
Dependable Software Engineering. Theories, Tools, and Applications: 4th Internat
Dependable Software Engineering. Theories, Tools, and Applications: 4th Internat

$75.73

View Details
Dependable Computing - 9783642387883
Dependable Computing - 9783642387883

$44.36

View Details
Pang - Dependable Software Engineering. Theories Tools and Applicat - S9000z
Pang - Dependable Software Engineering. Theories Tools and Applicat - S9000z

$75.70

View Details
Li - Dependable Software Engineering  Theories Tools and Appcations - S9000z
Li - Dependable Software Engineering Theories Tools and Appcations - S9000z

$76.18

View Details
Dependable Software Engineering. Theories, Tools, and Applications : 6th Inte...
Dependable Software Engineering. Theories, Tools, and Applications : 6th Inte...

$68.70

View Details
Dependable Computing - Edcc 2022 Workshops : Serene, Dreams, Ai4rails, Zarago...
Dependable Computing - Edcc 2022 Workshops : Serene, Dreams, Ai4rails, Zarago...

$66.59

View Details