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

Name: Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
Price: 116.95 CAD
Availability: InStock
Author: Marieke Huisman
ISBN: 9783031150074

Jan Friso Groote Édition : Marieke Huisman

12 août 2022

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

Description

Langue

anglais

Pages

245

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031150074

Understanding the Digital Transformation of Socio-Economic-Technological Systems: Dedicated to the 120th Anniversary of Economic Education at Peter the Great St. Petersburg Polytechnic University

Tessaleno Campos Devezas Couverture souple
72,95 $
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
Human Interface and the Management of Information: Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Hirohiko Mori Couverture souple
160,95 $
2 formats offerts
Human Interface and the Management of Information: Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Hirohiko Mori Couverture souple
160,95 $
2 formats offerts
Understanding the Digital Transformation of Socio-Economic-Technological Systems: Dedicated to the 120th Anniversary of Economic Education at Peter the Great St. Petersburg Polytechnic University

Tessaleno Campos Devezas Couverture rigide
364,95 $
2 formats offerts
Integrated Formal Methods: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

Paula Herber Couverture souple
175,50 $
2 formats offerts
Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

Einar Broch Johnsen Couverture souple
72,95 $
Universal Access in Human-Computer Interaction: 17th International Conference, UAHCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Margherita Antona Couverture souple
160,95 $
2 formats offerts
Algorithmic Learning Theory: 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings.

Couverture souple
71,50 $
Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Yiannis Papadopoulos Couverture souple
80,50 $
2 formats offerts
Universal Access in Human-Computer Interaction: 17th International Conference, UAHCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Margherita Antona Couverture souple
160,95 $
2 formats offerts
Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Marieke Huisman Couverture souple
80,50 $
2 formats offerts
HCI International 2022 Posters: 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II

Constantine Stephanidis Couverture souple
131,50 $
2 formats offerts
Service-Oriented and Cloud Computing: 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings

Fabrizio Montesi Couverture souple
145,95 $
2 formats offerts
HCI International 2022 Posters: 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Constantine Stephanidis Couverture souple
160,95 $
2 formats offerts
HCI International 2022 Posters: 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part III

Constantine Stephanidis Couverture souple
175,50 $
2 formats offerts
Advances in Swarm and Computational Intelligence: 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I

Ying Tan Couverture souple
80,50 $
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Heike Wehrheim Couverture souple
72,95 $
Human-Computer Interaction - HCI International 2022

Constantine Stephanidis Couverture souple
5839,95 $
HCI International 2022 - Late Breaking Papers: HCI for Health, Well-being, Universal Access and Healthy Aging: 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Vincent G. Duffy Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

marieke huisman

Auteur

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
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 Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Sergiy Bogomolov Couverture souple
87,95 $
2 formats offerts
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Erika Ábrah 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
Engineering of Complex Computer Systems: 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings

Guangdong Bai Couverture souple
109,50 $
2 formats offerts
Computer Information Systems and Industrial Management: 23rd International Conference, CISIM 2024, Bialystok, Poland, September 27-29, 2024, Proceedings

Khalid Saeed Couverture souple
116,95 $
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
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
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
Computer Performance Engineering and Stochastic Modelling: 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings

Mauro Iacono Couverture souple
109,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 Processing and Applied Mathematics: 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

Roman Wyrzykowski Couverture souple
189,95 $
2 formats offerts
Algorithmic Aspects of Cloud Computing: 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers

Luca Foschini Couverture souple
87,95 $
2 formats offerts
Implementation and Application of Automata: 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings

Benedek Nagy Couverture souple
94,95 $
2 formats offerts
Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings

Christel Seguin Couverture souple
80,50 $
2 formats offerts
Developments in Language Theory: 27th International Conference, DLT 2023, Umea, Sweden, June 12-16, 2023, Proceedings

Frank Drewes Couverture souple
102,50 $
2 formats offerts
Modelling and Mining Networks: 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings

Megan Dewar Couverture souple
175,50 $
2 formats offerts
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Ahmed Bouajjani Couverture souple
124,50 $
2 formats offerts
Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Vasteras, Sweden, October 16-18, 2023, Proceedings

Jan Kofro 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

Description

Vous aimerez peut-être aussi

Understanding the Digital Transformation of Socio-Economic-Technological Systems: Dedicated to the 120th Anniversary of Economic Education at Peter the Great St. Petersburg Polytechnic University

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

Human Interface and the Management of Information: Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Human Interface and the Management of Information: Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Understanding the Digital Transformation of Socio-Economic-Technological Systems: Dedicated to the 120th Anniversary of Economic Education at Peter the Great St. Petersburg Polytechnic University

Integrated Formal Methods: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

Universal Access in Human-Computer Interaction: 17th International Conference, UAHCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Algorithmic Learning Theory: 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings.

Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Universal Access in Human-Computer Interaction: 17th International Conference, UAHCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

HCI International 2022 Posters: 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II

Service-Oriented and Cloud Computing: 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings

HCI International 2022 Posters: 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

HCI International 2022 Posters: 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part III

Advances in Swarm and Computational Intelligence: 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I

Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Human-Computer Interaction - HCI International 2022

HCI International 2022 - Late Breaking Papers: HCI for Health, Well-being, Universal Access and Healthy Aging: 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

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

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

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

Engineering of Complex Computer Systems: 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings

Computer Information Systems and Industrial Management: 23rd International Conference, CISIM 2024, Bialystok, Poland, September 27-29, 2024, Proceedings

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

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

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

Computer Performance Engineering and Stochastic Modelling: 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings

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

Parallel Processing and Applied Mathematics: 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

Algorithmic Aspects of Cloud Computing: 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers

Implementation and Application of Automata: 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings

Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings

Developments in Language Theory: 27th International Conference, DLT 2023, Umea, Sweden, June 12-16, 2023, Proceedings

Modelling and Mining Networks: 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings

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

Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Vasteras, Sweden, October 16-18, 2023, Proceedings