Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Name: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Price: 175.50 CAD
Availability: In_Stock
Author: Pierluigi Graziani
ISBN: 9783031262357

Paolo Masci Édition : Cinzia Bernardeschi , Pierluigi Graziani

11 février 2023

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

Description

Langue

anglais

Pages

420

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031262357

Bio-Inspired Models of Network, Information, and Computing Systems: 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10-11, 2012, Revised Selected Papers

Gianni A. Di Caro Couverture souple
80,50 $
2 formats offerts
Intelligent Human Computer Interaction: 13th International Conference, IHCI 2021, Kent, OH, USA, December 20-22, 2021, Revised Selected Papers

Jong-hoon Kim Couverture souple
175,50 $
2 formats offerts
Programming Languages: 19th Brazilian Symposium Sblp 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

Alberto Pardo Couverture souple
65,95 $
2 formats offerts
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Alessandro Aldini Couverture souple
72,95 $
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers

Guadalupe Ortiz Couverture souple
80,50 $
2 formats offerts
Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Christos Kaklamanis Couverture souple
262,95 $
2 formats offerts
Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers

Stephen Chang Couverture souple
80,50 $
2 formats offerts
Programming Languages And Systems: 18th Asian Symposium, Aplas 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings

Bruno C. D. S. Oliveira Couverture souple
80,50 $
2 formats offerts
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Antonio Cerone Couverture souple
80,50 $
2 formats offerts
Software Engineering for Resilient Systems: 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings

Anatoliy Gorbenko Couverture souple
72,95 $
Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceeding: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Jeremy Gibbons Couverture souple
72,95 $
Software Engineering For Resilient Systems: 9th International Workshop, Serene 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Alexander Romanovsky Couverture souple
80,50 $
2 formats offerts
Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceeding: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Jeremy Gibbons Couverture souple
102,50 $
2 formats offerts
Human-Computer Interaction: 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19-21, 2019, Revised Selected Papers

Pablo H. Ruiz Couverture souple
80,50 $
2 formats offerts
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 Couverture souple
72,95 $
Logic and Engineering of Natural Language Semantics: 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

Daisuke Bekki Couverture souple
94,95 $
2 formats offerts
Human-Computer Interaction. Interaction Techniques and Novel Applications: Thematic Area, HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II

Masaaki Kurosu Couverture souple
80,50 $
2 formats offerts
Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Peter Müller Couverture souple
72,95 $
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

Couverture souple
71,50 $
Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers

Michael Luck Couverture souple
80,50 $

Évaluation éditoriale

cinzia bernardeschi

Auteur

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Alessandro Aldini Couverture souple
65,95 $
2 formats offerts
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Antonio Cerone Couverture souple
80,50 $
2 formats offerts
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Alessandro Aldini Couverture souple
72,95 $
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

Javier Camara Couverture souple
116,95 $
2 formats offerts
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

Loek Cleophas Couverture souple
80,50 $
2 formats offerts
Job Scheduling Strategies for Parallel Processing: 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers

Dalibor Klus Couverture souple
80,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
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
Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Manuel Mazzara Couverture souple
80,50 $
2 formats offerts
Software Architecture: 15th European Conference, ECSA 2021 Tracks and Workshops; Vaxjo, Sweden, September 13-17, 2021, Revised Selected Papers

Patrizia Scandurra Couverture souple
80,50 $
2 formats offerts
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Couverture souple
80,50 $
2 formats offerts
Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers

Stephen Chang Couverture souple
80,50 $
2 formats offerts
Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Emil Sekerinski Couverture souple
80,50 $
2 formats offerts
Advances in Conceptual Modeling: ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings

Georg Grossmann Couverture souple
80,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 Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium: Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers

Bedir Tekinerdo Couverture souple
116,95 $
2 formats offerts
Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Alexandre Madeira Couverture souple
80,50 $
2 formats offerts
Algorithmics of Wireless Networks: 19th International Symposium, ALGOWIN 2023, Amsterdam, The Netherlands, September 7-8, 2023, Revised Selected Papers

Konstantinos Georgiou Couverture souple
80,50 $
2 formats offerts
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Kristin Yvonne Rozier Couverture souple
145,95 $
2 formats offerts
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Couverture souple
77,95 $
2 formats offerts

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Description

Vous aimerez peut-être aussi

Bio-Inspired Models of Network, Information, and Computing Systems: 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10-11, 2012, Revised Selected Papers

Intelligent Human Computer Interaction: 13th International Conference, IHCI 2021, Kent, OH, USA, December 20-22, 2021, Revised Selected Papers

Programming Languages: 19th Brazilian Symposium Sblp 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers

Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers

Programming Languages And Systems: 18th Asian Symposium, Aplas 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Software Engineering for Resilient Systems: 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings

Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceeding: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Software Engineering For Resilient Systems: 9th International Workshop, Serene 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceeding: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Human-Computer Interaction: 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19-21, 2019, Revised Selected Papers

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

Logic and Engineering of Natural Language Semantics: 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

Human-Computer Interaction. Interaction Techniques and Novel Applications: Thematic Area, HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing: 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers

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

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

Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Software Architecture: 15th European Conference, ECSA 2021 Tracks and Workshops; Vaxjo, Sweden, September 13-17, 2021, Revised Selected Papers

Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers

Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Advances in Conceptual Modeling: ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings

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

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium: Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Algorithmics of Wireless Networks: 19th International Symposium, ALGOWIN 2023, Amsterdam, The Netherlands, September 7-8, 2023, Revised Selected Papers

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers