Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Name: Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Lijun Zhang
ISBN: 9783030628215

Jun Pang Edited by Lijun Zhang

Nov 09, 2020

$80.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 403 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

203

Programming and Software Engineering

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783030628215

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Stephan Merz Paperback
$80.50
Dependable Software Engineering. Theories, Tools, And Applications: 7th International Symposium, Setta 2021, Beijing, China, November 25-27, 2021, Proceedings

Shengchao Qin Paperback
$124.50
2 formats available
Theory And Applications Of Models Of Computation: 16th International Conference, Tamc 2020, Changsha, China, October 18-20, 2020, Proceedings

Jianer Chen Paperback
$80.50
2 formats available
Advanced Parallel Processing Technologies: 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings

Chao Li Paperback
$116.95
2 formats available
Wireless Algorithms, Systems, and Applications: 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011, Proceedings

Yu Cheng Paperback
$80.50
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Holger Hermanns Paperback
$58.50
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Holger Hermanns Paperback
$116.95
2 formats available
Reliable Software Technologies - Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings

Mats Brorsson Paperback
$80.50
Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Hubert B. Keller Paperback
$72.95
Combinatorial Optimization And Applications: 13th International Conference, Cocoa 2019, Xiamen, China, December 13-15, 2019, Proceedings

Yingshu Li Paperback
$80.50
2 formats available
Computer Algebra in Scientific Computing: 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings

Vladimir P. Gerdt Paperback
$80.50
Algorithms and Data Structures: 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings

Frank Dehne Paperback
$80.50
Computational Logistics: Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012, Proceedings

Hao Hu Paperback
$105.50
Mathematical Foundations Of Computer Science 2013: 38th International Symposium, Mfcs 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings

Krishnendu Chatterjee Paperback
$80.50
Fifth International Conference on Computing and Network Communications: Proceedings of CoCoNet 2023, Volume 1

Sabu M. Thampi Hardcover
$321.50
Advanced Information Systems Engineering: 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings

Haris Mouratidis Paperback
$160.95
Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part VI

De-Shuang Huang Paperback
$116.95
2 formats available
Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part VI

De-Shuang Huang Paperback
$72.95
Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part VI

De-Shuang Huang Paperback
$116.95
2 formats available
Fifth International Conference on Computing and Network Communications: Proceedings of CoCoNet 2023, Volume 2

Sabu M. Thampi Hardcover
$364.95

Editorial reviews

lijun zhang

Author

Dependable Software Engineering. Theories, Tools, And Applications: 7th International Symposium, Setta 2021, Beijing, China, November 25-27, 2021, Proceedings

Shengchao Qin Paperback
$124.50
2 formats available
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Xuandong Li Paperback
$80.50
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Holger Hermanns Paperback
$58.50
Learning Technologies and Systems: 19th International Conference on Web-Based Learning, ICWL 2020, and 5th International Symposium on Emerging Technologies for Education, SETE 2020, Ningbo, China, October 22-24, 2020, Proceedings

Chaoyi Pang Paperback
$80.50
2 formats available
Software Foundations for Data Interoperability and Large Scale Graph Data Analytics: 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings

Lu Qin Paperback
$80.50
2 formats available
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Yi Li Paperback
$94.95
2 formats available
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Zhenhua Duan Paperback
$80.50
2 formats available
Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings

YiXiang Chen Paperback
$124.50
2 formats available
Algorithms And Architectures For Parallel Processing: 9th International Conference, Ica3pp 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings

Arrems Hua Paperback
$160.95
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Shengchao Qin Paperback
$80.50
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

Zhe Hou Paperback
$124.50
2 formats available
Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

Timothy Bourke Paperback
$116.95
Quality, Reliability, Security And Robustness In Heterogeneous Systems: 17th Eai International Conference, Qshine 2021, Virtual Event, November 29-30, 2021, Proceedings

Xingliang Yuan Paperback
$145.95
2 formats available
Ad Hoc Networks and Tools for IT: 13th EAI International Conference, ADHOCNETS 2021, Virtual Event, December 6-7, 2021, and 16th EAI International Conference, TRIDENTCOM 2021, Virtual Event, November 24, 2021, Proceedings

Wei Bao Paperback
$131.50
2 formats available
Advanced Research on Computer Education, Simulation and Modeling: International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II

Sally Lin Paperback
$160.95
Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

Wei Dong Paperback
$102.50
2 formats available
Wireless Algorithms, Systems, And Applications: 10th International Conference, Wasa 2015, Qufu, China, August 10-12, 2015, Proceedings

Kuai Xu Paperback
$80.50
2 formats available
Algorithms and Architectures for Parallel Processing: 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Jaideep Vaidya Paperback
$80.50
2 formats available
Advanced Research on Computer Education, Simulation and Modeling: International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I

Sally Lin Paperback
$160.95
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Zhiming Liu Paperback
$80.50

Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Overview

You May Also Like

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Dependable Software Engineering. Theories, Tools, And Applications: 7th International Symposium, Setta 2021, Beijing, China, November 25-27, 2021, Proceedings

Theory And Applications Of Models Of Computation: 16th International Conference, Tamc 2020, Changsha, China, October 18-20, 2020, Proceedings

Advanced Parallel Processing Technologies: 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings

Wireless Algorithms, Systems, and Applications: 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Reliable Software Technologies - Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings

Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Combinatorial Optimization And Applications: 13th International Conference, Cocoa 2019, Xiamen, China, December 13-15, 2019, Proceedings

Computer Algebra in Scientific Computing: 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings

Algorithms and Data Structures: 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings

Computational Logistics: Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012, Proceedings

Mathematical Foundations Of Computer Science 2013: 38th International Symposium, Mfcs 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings

Fifth International Conference on Computing and Network Communications: Proceedings of CoCoNet 2023, Volume 1

Advanced Information Systems Engineering: 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings

Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part VI

Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part VI

Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part VI

Fifth International Conference on Computing and Network Communications: Proceedings of CoCoNet 2023, Volume 2

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Dependable Software Engineering. Theories, Tools, And Applications: 7th International Symposium, Setta 2021, Beijing, China, November 25-27, 2021, Proceedings

Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Learning Technologies and Systems: 19th International Conference on Web-Based Learning, ICWL 2020, and 5th International Symposium on Emerging Technologies for Education, SETE 2020, Ningbo, China, October 22-24, 2020, Proceedings

Software Foundations for Data Interoperability and Large Scale Graph Data Analytics: 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings

Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings

Algorithms And Architectures For Parallel Processing: 9th International Conference, Ica3pp 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings

Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

Quality, Reliability, Security And Robustness In Heterogeneous Systems: 17th Eai International Conference, Qshine 2021, Virtual Event, November 29-30, 2021, Proceedings

Ad Hoc Networks and Tools for IT: 13th EAI International Conference, ADHOCNETS 2021, Virtual Event, December 6-7, 2021, and 16th EAI International Conference, TRIDENTCOM 2021, Virtual Event, November 24, 2021, Proceedings

Advanced Research on Computer Education, Simulation and Modeling: International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II

Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

Wireless Algorithms, Systems, And Applications: 10th International Conference, Wasa 2015, Qufu, China, August 10-12, 2015, Proceedings

Algorithms and Architectures for Parallel Processing: 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Advanced Research on Computer Education, Simulation and Modeling: International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings