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

Name: Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
Price: 60.99 CAD
Availability: InStock
Author: Shang-Wei Lin
ISBN: 9783030634063

Edited by Shang-Wei Lin

Jan 19, 2021

$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: 9783030634063

Component Deployment: IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings

Judith Bishop Book & Audio
$80.50
Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium: Swansea, UK, June 26-27, 2023, Selected Papers

Michael Harrison Paperback
$94.95
2 formats available
Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium: Swansea, UK, June 26-27, 2023, Selected Papers

Michael Harrison Paperback
$72.95
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
Algorithmic Aspects of Wireless Sensor Networks: First International Workshop, ALGOSENSORS 2004, Turku, Finland, July 16, 2004, Proceedings

Sotiris Nikoletseas Paperback
$80.50
Algorithms and Data Structures: 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings

Frank Dehne Paperback
$80.50
Algorithms and Data Structures: 4th International Workshop, WADS '95, Kingston, Canada, August 16 - 18, 1995. Proceedings

Paperback
$71.50
Fun with Algorithms: 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings

Pierluigi Crescenzi Paperback
$80.50
Advances in Nonlinear Speech Processing: 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013, Proceedings

Thomas Drugman Paperback
$105.50
Frontiers in Algorithmics: Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings

Xiaotie Deng Paperback
$80.50
Wireless Sensor Networks: First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings

Holger Karl Paperback
$80.50
Dna Computing And Molecular Programming: 25th International Conference, Dna 25, Seattle, Wa, Usa, August 5-9, 2019, Proceedings

Chris Thachuk Paperback
$94.95
2 formats available
Pattern Recognition and Machine Intelligence: Third International Conference, PReMI 2009 New Delhi, India, December 16-20, 2009 Proceedings

Santanu Chaudhury Paperback
$160.95
Computational Diffusion MRI: 14th International Workshop, CDMRI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Muge Karaman Paperback
$58.50
Computational Diffusion MRI: 14th International Workshop, CDMRI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Elizabeth Powell Paperback
$94.95
2 formats available
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci Paperback
$80.50
2 formats available
WALCOM: Algorithms and Computation: 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011, Proceedings

Naoki Katoh Paperback
$80.50
Experimental Algorithms: 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings

Camil Demetrescu Paperback
$80.50
Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Vi

Valeria V. Krzhizhanovskaya Paperback
$80.50
2 formats available
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

Editorial reviews

shang-wei lin

Author

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
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
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: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

Adrian Riesco Paperback
$80.50
2 formats available
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
Software Engineering And Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Radu Calinescu Paperback
$131.50
2 formats available
Formal Methods For Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Maurice H. ter Beek Paperback
$80.50
2 formats available
System Analysis And Modeling. Languages, Methods, And Tools For Systems Engineering: 10th International Conference, Sam 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings

Ferhat Khendek Paperback
$80.50
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
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Kim Guldstrand Larsen Paperback
$80.50
2 formats available
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Carla Ferreira Paperback
$102.50
2 formats available
Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Wolfgang Ahrendt Paperback
$80.50
2 formats available
Formal Methods For Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings

Alberto Lluch Lafuente 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
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
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

Sérgio Campos Paperback
$87.95
2 formats available
Advanced Computational Methods for Knowledge Engineering: Proceedings of the 4th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2016, 2-3 May, 2016, Vienna, Austria

Thanh Binh Nguyen Paperback
$248.50
2 formats available
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Kazuhiro Ogata Paperback
$116.95
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
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

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

Overview

You May Also Like

Component Deployment: IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings

Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium: Swansea, UK, June 26-27, 2023, Selected Papers

Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium: Swansea, UK, June 26-27, 2023, Selected Papers

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

Algorithmic Aspects of Wireless Sensor Networks: First International Workshop, ALGOSENSORS 2004, Turku, Finland, July 16, 2004, Proceedings

Algorithms and Data Structures: 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings

Algorithms and Data Structures: 4th International Workshop, WADS '95, Kingston, Canada, August 16 - 18, 1995. Proceedings

Fun with Algorithms: 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings

Advances in Nonlinear Speech Processing: 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013, Proceedings

Frontiers in Algorithmics: Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings

Wireless Sensor Networks: First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings

Dna Computing And Molecular Programming: 25th International Conference, Dna 25, Seattle, Wa, Usa, August 5-9, 2019, Proceedings

Pattern Recognition and Machine Intelligence: Third International Conference, PReMI 2009 New Delhi, India, December 16-20, 2009 Proceedings

Computational Diffusion MRI: 14th International Workshop, CDMRI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Computational Diffusion MRI: 14th International Workshop, CDMRI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

WALCOM: Algorithms and Computation: 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011, Proceedings

Experimental Algorithms: 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Vi

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

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

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

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, 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: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

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

Software Engineering And Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Formal Methods For Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

System Analysis And Modeling. Languages, Methods, And Tools For Systems Engineering: 10th International Conference, Sam 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings

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

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Formal Methods For Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, 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

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

Advanced Computational Methods for Knowledge Engineering: Proceedings of the 4th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2016, 2-3 May, 2016, Vienna, Austria

Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

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

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