Skip to main content Skip to footer content

Engineering Trustworthy Software Systems: 5th International School, Setss 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures

Jonathan P. Bowen Edited by Zhiming Liu , Zili Zhang

Aug 01, 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

221

Programming and Software Engineering

Publisher: Springer Nature

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

ISBN: 9783030550882

Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

Jonathan P. Bowen Paperback
$94.95
2 formats available
Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

Jonathan P. Bowen Paperback
$80.50
2 formats available
Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14, 2019, Proceedings

Majid Zamani Paperback
$80.50
2 formats available
Algorithms for Sensor Systems: 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers

Prosenjit Bose Paperback
$80.50
2 formats available
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Jonathan P. Bowen Paperback
$80.50
2 formats available
Algorithms and Architectures for Parallel Processing: 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I

Yang Xiang Paperback
$80.50
Algorithms and Architectures for Parallel Processing: 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II

Yang Xiang Paperback
$80.50
Algorithms and Architectures for Parallel Processing: 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II

Rocco Aversa Paperback
$80.50
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Shaoying Liu Paperback
$80.50
Application And Theory Of Petri Nets And Concurrency: 42nd International Conference, Petri Nets 2021, Virtual Event, June 23-25, 2021, Proceedings

Didier Buchs Paperback
$80.50
2 formats available
Algorithms And Architectures For Parallel Processing: 21st International Conference, Ica3pp 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I

Yongxuan Lai Paperback
$175.50
2 formats available
Software Engineering And Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Robert M. Hierons Paperback
$80.50
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part VI

Zahir Tari Paperback
$116.95
2 formats available
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part I

Zahir Tari Paperback
$116.95
2 formats available
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part IV

Zahir Tari Paperback
$116.95
2 formats available
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part III

Zahir Tari Paperback
$116.95
2 formats available
Algorithms And Architectures For Parallel Processing: 21st International Conference, Ica3pp 2021, Virtual Event, December 3-5, 2021, Proceedings, Part Iii

Yongxuan Lai Paperback
$175.50
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
Algorithms And Architectures For Parallel Processing: 21st International Conference, Ica3pp 2021, Virtual Event, December 3-5, 2021, Proceedings, Part Ii

Yongxuan Lai Paperback
$175.50
2 formats available
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part V

Zahir Tari Paperback
$189.95
2 formats available

Editorial reviews

zhiming liu

Author

Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

Jonathan P. Bowen Paperback
$80.50
2 formats available
Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

Jonathan P. Bowen Paperback
$94.95
2 formats available
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Jonathan P. Bowen Paperback
$80.50
2 formats available
Fundamentals Of Software Engineering: 9th International Conference, Fsen 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

Hossein Hojjat Paperback
$116.95
2 formats available
Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Jun Pang Paperback
$80.50
2 formats available
Software Engineering For Resilient Systems: 9th International Workshop, Serene 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Alexander Romanovsky Paperback
$80.50
2 formats available
Accelerator Programming Using Directives: 8th International Workshop, Waccpd 2021, Virtual Event, November 14, 2021, Proceedings

Sridutt Bhalachandra Paperback
$87.95
2 formats available
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
Runtime Verification: 21st International Conference, Rv 2021, Virtual Event, October 11-14, 2021, Proceedings

Lu Feng Paperback
$124.50
2 formats available
Accelerator Programming Using Directives: 7th International Workshop, Waccpd 2020, Virtual Event, November 20, 2020, Proceedings

Sridutt Bhalachandra Paperback
$80.50
2 formats available
Computer Safety, Reliability, And Security: 40th International Conference, Safecomp 2021, York, Uk, September 8-10, 2021, Proceedings

Ibrahim Habli Paperback
$80.50
2 formats available
End-user Development: 8th International Symposium, Is-eud 2021, Virtual Event, July 6-8, 2021, Proceedings

Daniela Fogli Paperback
$80.50
2 formats available
Search-based Software Engineering: 12th International Symposium, Ssbse 2020, Bari, Italy, October 7-8, 2020, Proceedings

Aldeida Aleti Paperback
$124.50
2 formats available
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

Yamine Ait-ameur Paperback
$80.50
2 formats available
Reversible Computation: 13th International Conference, Rc 2021, Virtual Event, July 7-8, 2021, Proceedings

Shigeru Yamashita Paperback
$80.50
2 formats available
OpenMP: Memory, Devices, and Tasks: 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

Naoya Maruyama Paperback
$80.50
2 formats available
Parallel Architectures, Algorithms And Programming: 11th International Symposium, Paap 2020, Shenzhen, China, December 28-30, 2020, Proceedings

Li Ning Paperback
$80.50
2 formats available
Model And Data Engineering: 10th International Conference, Medi 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings

Christian Attiogb Paperback
$80.50
2 formats available
Static Analysis: 23rd International Symposium, Sas 2016, Edinburgh, Uk, September 8-10, 2016, Proceedings

Xavier Rival Paperback
$80.50
2 formats available
Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Yu-fang Chen Paperback
$80.50
2 formats available