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

Name: Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Luke Ong
ISBN: 9783319686899

Zhenhua Duan Edited by Luke Ong

Oct 14, 2017

$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

498

Programming and Software Engineering

Publisher: Springer Nature

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

ISBN: 9783319686899

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
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Grace A. Lewis 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
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
Advances in Power Electronics and Instrumentation Engineering: Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings

Vinu V Das 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
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 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
Algorithm Engineering and Experimentation: International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers

Paperback
$71.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
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 for Sensor Systems: 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9-10, 2020, Revised Selected Papers

Cristina M. Pinotti 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 II

Yang Xiang Paperback
$80.50
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Paperback
$102.50
2 formats available
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
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
Genetic Programming: 12th European Conference, Eurogp 2009 Tubingen, Germany, April, 15-17, 2009 Proceedings

Leonardo Vanneschi 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
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

Editorial reviews

luke ong

Author

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
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
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
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
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Zhiming Liu Paperback
$80.50
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

Adrian Riesco Paperback
$80.50
2 formats available
Bioinformatics and Biomedical Engineering: New Advances: Proceedings of the 9th International Conference on Bioinformatics and Biomedical Engineering (iCBBE 2015), Shanghai, China, 18-20 September 2015

James Chou Paperback
$91.95
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

Shang-wei Lin Paperback
$80.50
2 formats available
Cooperative Design, Visualization, and Engineering: 20th International Conference on Cooperative Design, Visualization and Engineering, CDVE 2023, Mallorca, Spain, October 1-4, 2023, Proceedings

Yuhua Luo Paperback
$94.95
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
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
Simulation Tools and Techniques: 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings

Dingde Jiang Paperback
$80.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
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Shaoying Liu Paperback
$65.95
2 formats available
Autonomic and Trusted Computing: 7th International Conference, Atc 2010, Xi'an, China, October 26-29, 2010, Proceedings

Bing Xie 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
Advances in Electronic Engineering, Communication and Management Vol.1: Proceedings of 2011 International Conference on Electronic Engineering, Communication and Management(EECM 2011), held on December 24-25, 2011, Beijing, China

David Jin Paperback
$321.50
2 formats available
Industrial Engineering and Management Science: Proceedings of the 2014 International Conference on Industrial Engineering and Management Science (IEMS 2014), August 8-9, 2014, Hong Kong.

Kobo eBook
$91.99
Applied Economics, Business and Development: International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part I

Qingyuan Zhou 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

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

Overview

You May Also Like

Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

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

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

Advances in Power Electronics and Instrumentation Engineering: Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings

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

Algorithms for Sensor Systems: 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, Lisbon, Portugal, September 9-10, 2021, Proceedings

Computer Algebra in Scientific Computing: 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings

Algorithm Engineering and Experimentation: International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers

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

Algorithms and Architectures for Parallel Processing: 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I

Algorithms for Sensor Systems: 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9-10, 2020, Revised Selected Papers

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

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

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

Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings

Genetic Programming: 12th European Conference, Eurogp 2009 Tubingen, Germany, April, 15-17, 2009 Proceedings

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

Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

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

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

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

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

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

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

Bioinformatics and Biomedical Engineering: New Advances: Proceedings of the 9th International Conference on Bioinformatics and Biomedical Engineering (iCBBE 2015), Shanghai, China, 18-20 September 2015

Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

Cooperative Design, Visualization, and Engineering: 20th International Conference on Cooperative Design, Visualization and Engineering, CDVE 2023, Mallorca, Spain, October 1-4, 2023, Proceedings

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

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

Simulation Tools and Techniques: 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings

Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Autonomic and Trusted Computing: 7th International Conference, Atc 2010, Xi'an, China, October 26-29, 2010, Proceedings

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

Advances in Electronic Engineering, Communication and Management Vol.1: Proceedings of 2011 International Conference on Electronic Engineering, Communication and Management(EECM 2011), held on December 24-25, 2011, Beijing, China

Industrial Engineering and Management Science: Proceedings of the 2014 International Conference on Industrial Engineering and Management Science (IEMS 2014), August 8-9, 2014, Hong Kong.

Applied Economics, Business and Development: International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part I

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