Skip to main content Skip to footer content

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Edited by Jyotirmoy Deshmukh

Oct 07, 2020

$60.99 ~~Price reduced from $75.48 to~~

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Programming and Software Engineering

Publisher: Springer International Publishing

ISBN: 9783030605087

Formal Aspects Of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

Gwen Sala Paperback
$72.95
2 formats available
Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings

François Boulier Paperback
$116.95
2 formats available
Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part Ii

Alexandra Silva Paperback
$72.95
2 formats available
Mathematics Of Program Construction: 13th International Conference, Mpc 2019, Porto, Portugal, October 7-9, 2019, Proceedings

Graham Hutton Paperback
$80.50
2 formats available
Conceptual Modeling: 40th International Conference, Er 2021, Virtual Event, October 18-21, 2021, Proceedings

Aditya Ghose 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
Accelerator Programming Using Directives: 8th International Workshop, Waccpd 2021, Virtual Event, November 14, 2021, Proceedings

Sridutt Bhalachandra Paperback
$87.95
2 formats available
Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Kirstin Peters Paperback
$80.50
2 formats available
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

Alexey Gotsman Paperback
$102.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
Advances in Swarm Intelligence: 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

Ying Tan Paperback
$80.50
Model and Data Engineering: 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings

Mohamed Mosbah Paperback
$58.50
Model and Data Engineering: 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings

Mohamed Mosbah Paperback
$109.50
2 formats available
Human-Computer Interaction - INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV

Jos Abdelnour Nocera Paperback
$145.95
2 formats available
Euro-par 2014: Parallel Processing: 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings

Fernando Silva Paperback
$80.50
Human-Computer Interaction - INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I

Jos Abdelnour Nocera Paperback
$145.95
2 formats available
Computer Algebra in Scientific Computing: 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings

François Boulier Paperback
$131.50
2 formats available
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Alexandra Silva Paperback
$72.95
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
Software Engineering And Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Robert M. Hierons Paperback
$80.50

Editorial reviews

jyotirmoy deshmukh

Author

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

Jyotirmoy V. Deshmukh Paperback
$204.50
2 formats available
Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings

Shiva Nejati Paperback
$80.50
2 formats available
Performance Evaluation and Benchmarking for the Era of Cloud(s): 11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers

Raghunath Nambiar Paperback
$80.50
2 formats available
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

Maurizio Gabbrielli Paperback
$80.50
Integer Programming And Combinatorial Optimization: 22nd International Conference, Ipco 2021, Atlanta, Ga, Usa, May 19-21, 2021, Proceedings

Mohit Singh Paperback
$80.50
2 formats available
Intelligent Tutoring Systems: 16th International Conference, Its 2020, Athens, Greece, June 8-12, 2020, Proceedings

Vivekanandan Kumar 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
Sensor Networks: 9th International Conference, SENSORNETS 2020, Valletta, Malta, February 28-29, 2020, and 10th International Conference, SENSORNETS 2021, Virtual Event, February 9-10, 2021, Revised Selected Papers

Andreas Ahrens Paperback
$80.50
2 formats available
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part-II

S Akshay Paperback
$248.50
Languages and Compilers for Parallel Computing: 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers

Santosh Pande Paperback
$80.50
2 formats available
Computer Applications in Industry and Engineering: 37th International Conference, CAINE 2024, San Diego, CA, USA, October 21-22, 2024, Proceedings

Gongzhu Hu Paperback
$116.95
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

Maria Christakis Paperback
$80.50
2 formats available
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part-I

S Akshay Paperback
$204.50
Runtime Verification: 5th International Conference, Rv 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings

Borzoo Bonakdarpour Paperback
$80.50
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Omri Isac Paperback
$102.50
2 formats available
Data Integration in the Life Sciences: 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceedings

Naveen Ashish Paperback
$80.50
2 formats available
Performance Evaluation and Benchmarking for the Era of Artificial Intelligence: 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27-31, 2018, Revised Selected Papers

Raghunath Nambiar Paperback
$80.50
Performance Evaluation And Benchmarking For The Analytics Era: 9th Tpc Technology Conference, Tpctc 2017, Munich, Germany, August 28, 2017, Revised Selected Papers

Raghunath Nambiar Paperback
$87.95
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
Distributed Computing And Internet Technology: 17th International Conference, Icdcit 2021, Bhubaneswar, India, January 7-10, 2021, Proceedings

Diganta Goswami Paperback
$80.50
2 formats available