Skip to main content Skip to footer content

Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Yu-fang Chen Edited by Chih-hong Cheng , Javier Esparza

Oct 06, 2019

$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

552

Programming and Software Engineering

Publisher: Springer Nature

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

ISBN: 9783030317836

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Dang Van Hung Paperback
$80.50
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Ahmed Bouajjani Paperback
$124.50
2 formats available
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

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

Zhiming Liu Paperback
$80.50
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Paperback
$116.95
2 formats available
Algorithms for Sensor Systems: 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, Lisbon, Portugal, September 9-10, 2021, Proceedings

Leszek Gäsieniec Paperback
$87.95
2 formats available
Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Andrea Bondavalli Paperback
$80.50
Algorithms for Sensor Systems: 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrucken, Germany, September 8-9, 2011, Revised Selected Papers

Thomas Erlebach Paperback
$102.50
Automated Technology For Verification And Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Dang Van Hung Paperback
$80.50
2 formats available
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne Andr Paperback
$109.50
2 formats available
Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Alexander Romanovsky Paperback
$109.50
2 formats available
Algorithms for Sensor Systems: 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers

Amotz Bar-Noy Paperback
$72.95
Search-based Software Engineering: 12th International Symposium, Ssbse 2020, Bari, Italy, October 7-8, 2020, Proceedings

Aldeida Aleti Paperback
$124.50
2 formats available
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

Birgit Milius Paperback
$94.95
2 formats available
Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings

Robert Gl Paperback
$80.50
Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings

Andy Sch Paperback
$160.95
Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Hubert B. Keller Paperback
$72.95
Cooperative Design, Visualization, And Engineering: 17th International Conference, Cdve 2020, Bangkok, Thailand, October 25-28, 2020, Proceedings

Yuhua Luo Paperback
$80.50
2 formats available
Software Engineering for Resilient Systems: 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings

Anatoliy Gorbenko Paperback
$72.95
Wireless Algorithms, Systems, and Applications: 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012, Proceedings

Xinbing Wang Paperback
$80.50

Editorial reviews

chih-hong cheng

Author

Verification And Evaluation Of Computer And Communication Systems: 14th International Conference, Vecos 2020, Xi'an, China, October 26-27, 2020, Proceedings

Belgacem Ben Hedia 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
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: 21st International Conference, Ica3pp 2021, Virtual Event, December 3-5, 2021, Proceedings, Part Iii

Yongxuan Lai Paperback
$175.50
2 formats available
Network and System Security: 16th International Conference, NSS 2022, Denarau Island, Fiji, December 9-12, 2022, Proceedings

Xingliang Yuan Paperback
$175.50
2 formats available
Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Huaikou Miao Paperback
$80.50
2 formats available
Methods and Applications for Modeling and Simulation of Complex Systems: 21st Asia Simulation Conference, AsiaSim 2022, Changsha, China, December 9-11, 2022, Proceedings, Part I

Wenhui Fan Paperback
$175.50
2 formats available
Methods and Applications for Modeling and Simulation of Complex Systems: 21st Asia Simulation Conference, AsiaSim 2022, Changsha, China, December 9-11, 2022, Proceedings, Part II

Wenhui Fan Paperback
$175.50
2 formats available
Web Information Systems and Applications: 20th International Conference, WISA 2023, Chengdu, China, September 15-17, 2023, Proceedings

Long Yuan Paperback
$145.95
2 formats available
Advances in Multimedia Modeling: 17th International Multimedia Modeling Conference, MMM 2011, Taipei, Taiwan, January 5-7, 2011, Proceedings, Part II

Kuo-Tien Lee Paperback
$80.50
Security And Privacy In Social Networks And Big Data: 6th International Symposium, Socialsec 2020, Tianjin, China, September 26-27, 2020, Proceedings

Yang Xiang Paperback
$80.50
2 formats available
Cognitive Cities: Second International Conference, IC3 2019, Kyoto, Japan, September 3-6, 2019, Revised Selected Papers

Jian Shen Paperback
$160.95
2 formats available
Evolutionary Multi-criterion Optimization: 11th International Conference, Emo 2021, Shenzhen, China, March 28-31, 2021, Proceedings

Hisao Ishibuchi Paperback
$160.95
2 formats available
Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings

Jin-Yi Cai Paperback
$160.95
Green, Pervasive, and Cloud Computing: 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings; Part II

Hai Jin Paperback
$109.50
2 formats available
Emerging Information Security and Applications: 5th International Conference, EISA 2024, Changzhou, China, October 18-19, 2024, Proceedings

Wenjuan Li Paperback
$116.95
Advances in Swarm Intelligence: 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

Ying Tan Paperback
$80.50
Wireless Algorithms, Systems, And Applications: 9th International Conference, Wasa 2014, Harbin, China, June 23-25, 2014, Proceedings

Zhipeng Cai Paperback
$160.95
Computational Intelligence and Intelligent Systems: 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers

Kangshun Li Paperback
$80.50
2 formats available
Green, Pervasive, and Cloud Computing: 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

Hai Jin Paperback
$94.95
2 formats available