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

Name: Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Price: 94.95 CAD
Availability: In_Stock
Author: Sofi Tahar
ISBN: 9789819975839

Yi Li Édition : Sofi Tahar

24 octobre 2023

94,95 $

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 475 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

300

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9789819975839

New Trends in Database and Information Systems: ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

Alberto Abell Couverture souple
160,95 $
2 formats offerts
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
Algorithms and Computation: 8th International Workshop, Walcom 2014, Chennai, India, February 13-15, 2014, Proceedings

Sudebkumar Prasant Pal Couverture souple
80,50 $
Machine Learning: Ecml-98: 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998, Proceedin: 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998, Proceedings

Claire Nedellec Couverture souple
80,50 $
Advanced Computer Systems: Eighth International Conference, Acs' 2001 Mielno, Poland October 17-19, 2001 Proceedings

Jerzy Soldek Couverture souple
248,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 $
Rough Sets and Current Trends in Computing: 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings

Shusaku Tsumoto Couverture souple
58,50 $
Rough Sets and Knowledge Technology: Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008, Proceedings

Guoyin Wang Couverture rigide
160,95 $
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Couverture souple
102,50 $
2 formats offerts
Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002

Felix Redmill Couverture souple
248,50 $
Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

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

Xiaoyi Jiang Couverture souple
80,50 $
2 formats offerts
Combinatorial Algorithms: 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7-9, 2022, Proceedings

Cristina Bazgan Couverture souple
145,95 $
2 formats offerts
Combinatorial Algorithms: 30th International Workshop, Iwoca 2019, Pisa, Italy, July 23-25, 2019, Proceedings

Charles J. Colbourn Couverture souple
116,95 $
2 formats offerts
Tools for High Performance Computing 2013: Proceedings of the 7th International Workshop on Parallel Tools for High Performance Computing, September 2013, ZIH, Dresden, Germany

Andreas Knüpfer Couverture rigide
160,95 $
2 formats offerts
Euro-Par 2022: Parallel Processing: 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, Proceedings

Jos Cano Couverture souple
116,95 $
2 formats offerts
Combinatorial Optimization: 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11-13, 2018, Revised Selected Papers

Jon Lee Couverture souple
116,95 $
2 formats offerts
Advances in Computer Games: 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers

Michael Hartisch 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
Tools for High Performance Computing 2009: Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden

Couverture souple
142,95 $
2 formats offerts

Évaluation éditoriale

sofi tahar

Auteur

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: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Carla Ferreira Couverture souple
102,50 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Alessandro Cimatti Couverture souple
94,95 $
2 formats offerts
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Cristina David Couverture souple
124,50 $
2 formats offerts
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Maurice H. ter Beek Couverture souple
124,50 $
2 formats offerts
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Couverture souple
102,50 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci Couverture souple
80,50 $
2 formats offerts
Parallel and Distributed Computing, Applications and Technologies: 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

Hiroyuki Takizawa Couverture souple
131,50 $
2 formats offerts
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Lucas Lima Couverture souple
87,95 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Anne E. Haxthausen Couverture souple
94,95 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Jan Friso Groote Couverture souple
116,95 $
2 formats offerts
Software Engineering And Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Radu Calinescu Couverture souple
127,42 $ ~~Réduction sur le prix courant 131,50 $ à~~
2 formats offerts
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Couverture souple
116,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Theory and Applications of Models of Computation: 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

Xujin Chen Couverture souple
321,50 $
2 formats offerts
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne Andr Couverture souple
109,50 $
2 formats offerts
Theory and Applications of Models of Computation: 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings

Ding-Zhu Du Couverture souple
131,50 $
2 formats offerts
Cooperative Design, Visualization, and Engineering: 21st International Conference, CDVE 2024, Valencia, Spain, September 15-18, 2024, Proceedings

Yuhua Luo Couverture souple
109,50 $
2 formats offerts
Implementation and Application of Automata: 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Szilárd Zsolt Fazekas Couverture souple
109,50 $
2 formats offerts
Proceedings of the 8th International Conference on Computational Science and Technology: ICCST 2021, Labuan, Malaysia, 28–29 August

Couverture souple
389,95 $
3 formats offerts

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

Description

Vous aimerez peut-être aussi

New Trends in Database and Information Systems: ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

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

Algorithms and Computation: 8th International Workshop, Walcom 2014, Chennai, India, February 13-15, 2014, Proceedings

Machine Learning: Ecml-98: 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998, Proceedin: 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998, Proceedings

Advanced Computer Systems: Eighth International Conference, Acs' 2001 Mielno, Poland October 17-19, 2001 Proceedings

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

Rough Sets and Current Trends in Computing: 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings

Rough Sets and Knowledge Technology: Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008, Proceedings

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

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

Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

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

Combinatorial Algorithms: 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7-9, 2022, Proceedings

Combinatorial Algorithms: 30th International Workshop, Iwoca 2019, Pisa, Italy, July 23-25, 2019, Proceedings

Tools for High Performance Computing 2013: Proceedings of the 7th International Workshop on Parallel Tools for High Performance Computing, September 2013, ZIH, Dresden, Germany

Euro-Par 2022: Parallel Processing: 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, Proceedings

Combinatorial Optimization: 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11-13, 2018, Revised Selected Papers

Advances in Computer Games: 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers

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

Tools for High Performance Computing 2009: Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

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

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

Parallel and Distributed Computing, Applications and Technologies: 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Theory and Applications of Models of Computation: 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Theory and Applications of Models of Computation: 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings

Cooperative Design, Visualization, and Engineering: 21st International Conference, CDVE 2024, Valencia, Spain, September 15-18, 2024, Proceedings

Implementation and Application of Automata: 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Proceedings of the 8th International Conference on Computational Science and Technology: ICCST 2021, Labuan, Malaysia, 28–29 August