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: 80.50 CAD
Availability: InStock
Author: Brendan Mahony
ISBN: 9783030634056

Shang-wei Lin Édition : Zhe Hou , Brendan Mahony

19 décembre 2020

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

335

Programming and Software Engineering

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783030634056

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

Yi Li Couverture souple
94,95 $
2 formats offerts
Traffic Monitoring and Analysis: Third International Workshop, Tma 2011, Vienna, Austria, April 27, 2011, Proceedings

Jordi Domingo-Pascual Couverture souple
80,50 $
Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings

Henk Schepers Couverture souple
80,50 $
Pattern Recognition: 36th German Conference, Gcpr 2014, Munster, Germany, September 2-5, 2014, Proceedings

Xiaoyi Jiang Couverture souple
80,50 $
2 formats offerts
Component Deployment: IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings

Judith Bishop Livre et audio
80,50 $
Digital Libraries: Supporting Open Science: 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings

Paolo Manghi Couverture souple
145,95 $
2 formats offerts
Simulated Evolution and Learning: 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings

Grant Dick Couverture souple
80,50 $
Advances in Nonlinear Speech Processing: 5th International Conference on Nonlinear Speech Processing, NoLISP 2011, Las Palmas de Gran Canaria, Spain, November 7-9, 2011, Proceedings

Carlos M. Travieso-gonz Couverture souple
102,50 $
Public-Key Cryptography - PKC 2017: 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part I

Serge Fehr Couverture souple
80,50 $
2 formats offerts
Frontiers Of Combining Systems: 13th International Symposium, Frocos 2021, Birmingham, Uk, September 8-10, 2021, Proceedings

Boris Konev Couverture souple
124,50 $
2 formats offerts
Graph-Based Representation and Reasoning: 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings

Manuel Ojeda-Aciego Couverture souple
80,50 $
2 formats offerts
Engineering Applications of Neural Networks: 23rd International Conference, EAAAI/EANN 2022, Chersonissos, Crete, Greece, June 17-20, 2022, Proceedings

Lazaros Iliadis Couverture souple
160,95 $
2 formats offerts
Advances In Computational Intelligence, Security And Internet Of Things: Second International Conference, Iccisiot 2019, Agartala, India, December 13-14, 2019, Proceedings

Ashim Saha Couverture souple
80,50 $
2 formats offerts
Artificial General Intelligence: 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings

Ben Goertzel Couverture souple
131,50 $
2 formats offerts
Machine Learning And Knowledge Discovery In Databases: European Conference, Ecml Pkdd 2019, Wurzburg, Germany, September 16-20, 2019, Proceedings, Part I

Ulf Brefeld Couverture souple
160,95 $
2 formats offerts
Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002

Felix Redmill Couverture souple
248,50 $
AI 2001: Advances in Artificial Intelligence: 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings

Mike Brooks Couverture souple
160,95 $
Web And Wireless Geographical Information Systems: 18th International Symposium, W2gis 2020, Wuhan, China, November 13-14, 2020, Proceedings

Sergio Di Martino Couverture souple
80,50 $
2 formats offerts
The Ciso's Next Frontier: Ai, Post-quantum Cryptography And Advanced Security Paradigms

Raj Badhwar Couverture rigide
116,95 $
2 formats offerts
Web Content Caching and Distribution: 9th International Workshop, WCW 2004, Beijing, China, October 18-20, 2004. Proceedings

-hung Chi Couverture souple
80,50 $

Évaluation éditoriale

zhe hou

Auteur

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

Yamine Ait-ameur Couverture souple
80,50 $
2 formats offerts
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Zhenhua Duan Couverture souple
80,50 $
2 formats offerts
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Shengchao Qin Couverture souple
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 Couverture souple
80,50 $
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

Sérgio Campos Couverture souple
87,95 $
2 formats offerts
Formal Methods For Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Maurice H. ter Beek Couverture souple
80,50 $
2 formats offerts
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 Couverture souple
80,50 $
2 formats offerts
Dependable Software Engineering. Theories, Tools, And Applications: 7th International Symposium, Setta 2021, Beijing, China, November 25-27, 2021, Proceedings

Shengchao Qin Couverture souple
124,50 $
2 formats offerts
Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Jun Pang Couverture souple
80,50 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Kim Guldstrand Larsen Couverture souple
80,50 $
2 formats offerts
Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Wolfgang Ahrendt Couverture souple
80,50 $
2 formats offerts
Formal Methods For Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings

Alberto Lluch Lafuente Couverture souple
80,50 $
2 formats offerts
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

Adrian Riesco Couverture souple
80,50 $
2 formats offerts
Software Engineering And Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Radu Calinescu Couverture souple
131,50 $
2 formats offerts
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Yi Li Couverture souple
94,95 $
2 formats offerts
System Analysis And Modeling. Languages, Methods, And Tools For Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-17, 2019, Proceedings

Pau Fonseca i Casas Couverture souple
80,50 $
2 formats offerts
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Shaoying Liu Couverture souple
80,50 $
Formal Aspects Of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

Gwen Sala Couverture souple
72,95 $
2 formats offerts
Reuse in Emerging Software Engineering Practices: 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2-4, 2020, Proceedings

Sihem Ben Sassi Couverture souple
80,50 $
2 formats offerts
Search-based Software Engineering: 12th International Symposium, Ssbse 2020, Bari, Italy, October 7-8, 2020, Proceedings

Aldeida Aleti Couverture souple
124,50 $
2 formats offerts

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

Description

Vous aimerez peut-être aussi

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

Traffic Monitoring and Analysis: Third International Workshop, Tma 2011, Vienna, Austria, April 27, 2011, Proceedings

Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings

Pattern Recognition: 36th German Conference, Gcpr 2014, Munster, Germany, September 2-5, 2014, Proceedings

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

Digital Libraries: Supporting Open Science: 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings

Simulated Evolution and Learning: 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings

Advances in Nonlinear Speech Processing: 5th International Conference on Nonlinear Speech Processing, NoLISP 2011, Las Palmas de Gran Canaria, Spain, November 7-9, 2011, Proceedings

Public-Key Cryptography - PKC 2017: 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part I

Frontiers Of Combining Systems: 13th International Symposium, Frocos 2021, Birmingham, Uk, September 8-10, 2021, Proceedings

Graph-Based Representation and Reasoning: 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings

Engineering Applications of Neural Networks: 23rd International Conference, EAAAI/EANN 2022, Chersonissos, Crete, Greece, June 17-20, 2022, Proceedings

Advances In Computational Intelligence, Security And Internet Of Things: Second International Conference, Iccisiot 2019, Agartala, India, December 13-14, 2019, Proceedings

Artificial General Intelligence: 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings

Machine Learning And Knowledge Discovery In Databases: European Conference, Ecml Pkdd 2019, Wurzburg, Germany, September 16-20, 2019, Proceedings, Part I

Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002

AI 2001: Advances in Artificial Intelligence: 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings

Web And Wireless Geographical Information Systems: 18th International Symposium, W2gis 2020, Wuhan, China, November 13-14, 2020, Proceedings

The Ciso's Next Frontier: Ai, Post-quantum Cryptography And Advanced Security Paradigms

Web Content Caching and Distribution: 9th International Workshop, WCW 2004, Beijing, China, October 18-20, 2004. Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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: 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: Foundations and Applications: 24th Brazilian Symposium, SBMF 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

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

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, 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: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

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

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

System Analysis And Modeling. Languages, Methods, And Tools For Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-17, 2019, Proceedings

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

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

Reuse in Emerging Software Engineering Practices: 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2-4, 2020, Proceedings

Search-based Software Engineering: 12th International Symposium, Ssbse 2020, Bari, Italy, October 7-8, 2020, Proceedings