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: 84.99 CAD
Availability: InStock
Author: Jan Friso Groote
ISBN: 9783031150081

Edited by Jan Friso Groote

Sep 12, 2022

$84.99 ~~Price reduced from $105.68 to~~

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Lecture Notes In Computer Science

Publisher: Springer International Publishing

ISBN: 9783031150081

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings

Frank de Boer Paperback
$87.95
2 formats available
Conceptual Modeling: 39th International Conference, Er 2020, Vienna, Austria, November 3-6, 2020, Proceedings

Gillian Dobbie Paperback
$80.50
2 formats available
End-user Development: 8th International Symposium, Is-eud 2021, Virtual Event, July 6-8, 2021, Proceedings

Daniela Fogli Paperback
$80.50
2 formats available
Algorithms - ESA 2014: 22th Annual European Symposium, Wrocaaw, Poland, September 8-10, 2014. Proceedings

Andreas S. Schulz Paperback
$80.50
Model-based Safety And Assessment: 7th International Symposium, Imbsa 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings

Marc Zeller Paperback
$102.50
2 formats available
Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings

Christel Seguin Paperback
$80.50
2 formats available
Service-Oriented and Cloud Computing: 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings

Fabrizio Montesi Paperback
$145.95
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
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Alessandro Cimatti Paperback
$94.95
2 formats available
Frontiers in Software Engineering: First International Conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021, Revised Selected Papers

Giancarlo Succi Paperback
$124.50
2 formats available
Theoretical Aspects of Computing - ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Antonio Cerone Paperback
$124.50
2 formats available
Open Source Systems: Grounding Research: 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings

Scott Hissam Hardcover
$160.95
Human Aspects of Information Security and Assurance: 14th IFIP WG 11.12 International Symposium, HAISA 2020, Mytilene, Lesbos, Greece, July 8-10, 2020, Proceedings

Nathan Clarke Hardcover
$80.50
2 formats available
Conceptual Modeling: 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings

João Paulo A. Almeida Paperback
$116.95
2 formats available
Human Aspects of IT for the Aged Population: 9th International Conference, ITAP 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Qin Gao Paperback
$160.95
2 formats available
Human Aspects of IT for the Aged Population: 9th International Conference, ITAP 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Qin Gao Paperback
$145.95
2 formats available
HCI International 2023 - Late Breaking Papers: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part VII

Panayiotis Zaphiris Paperback
$145.95
2 formats available
HCI International 2023 - Late Breaking Papers: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III

Hirohiko Mori Paperback
$58.50
Cloud Computing and Services Science: 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Maarten Van Steen Paperback
$189.95
2 formats available
Collaboration and Technology: 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010, Proceedings

Gwendolyn Kolfschoten Paperback
$80.50

Editorial reviews

jan friso groote

Author

Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Jaros Byrka Paperback
$58.50
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Nikolai Kosmatov Paperback
$204.50
2 formats available
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Nikolai Kosmatov Paperback
$204.50
2 formats available
Distributed Algorithms: 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987. Proceedings

Paperback
$71.50
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
Informatics in Control, Automation and Robotics: 19th International Conference, ICINCO 2022 Lisbon, Portugal, July 14-16, 2022 Revised Selected Papers

Giuseppina Gini Paperback
$58.50
Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

Henning Bordihn Paperback
$94.95
2 formats available
Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Jaros Byrka Paperback
$94.95
2 formats available
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Maurice H. ter Beek Paperback
$124.50
2 formats available
Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings

Henk Schepers Paperback
$80.50
Integrated Formal Methods: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

Paula Herber Paperback
$175.50
2 formats available
Algorithms in Bioinformatics: 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings

Dan Brown Paperback
$80.50
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Erika Ábrah Paperback
$80.50
2 formats available
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Anne E. Haxthausen Paperback
$94.95
2 formats available
Advances in Computer Games: 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

H. Jaap Van Den Herik Paperback
$80.50
Integer Programming and Combinatorial Optimization: 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings

Jens Vygen Paperback
$72.95
Reversible Computation: 16th International Conference, RC 2024, ToruA, Poland, July 4-5, 2024, Proceedings

Torben Ægidius Mogensen Paperback
$72.95
Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Marieke Huisman Paperback
$204.50
2 formats available
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Alessandro Cimatti Paperback
$58.50
Information Security: 26th International Conference, ISC 2023, Groningen, The Netherlands, November 15-17, 2023, Proceedings

Elias Athanasopoulos Paperback
$58.50

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

Overview

You May Also Like

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings

Conceptual Modeling: 39th International Conference, Er 2020, Vienna, Austria, November 3-6, 2020, Proceedings

End-user Development: 8th International Symposium, Is-eud 2021, Virtual Event, July 6-8, 2021, Proceedings

Algorithms - ESA 2014: 22th Annual European Symposium, Wrocaaw, Poland, September 8-10, 2014. Proceedings

Model-based Safety And Assessment: 7th International Symposium, Imbsa 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings

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

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

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

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

Frontiers in Software Engineering: First International Conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021, Revised Selected Papers

Theoretical Aspects of Computing - ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Open Source Systems: Grounding Research: 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings

Human Aspects of Information Security and Assurance: 14th IFIP WG 11.12 International Symposium, HAISA 2020, Mytilene, Lesbos, Greece, July 8-10, 2020, Proceedings

Conceptual Modeling: 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings

Human Aspects of IT for the Aged Population: 9th International Conference, ITAP 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Human Aspects of IT for the Aged Population: 9th International Conference, ITAP 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

HCI International 2023 - Late Breaking Papers: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part VII

HCI International 2023 - Late Breaking Papers: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III

Cloud Computing and Services Science: 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Collaboration and Technology: 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010, Proceedings

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Distributed Algorithms: 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987. Proceedings

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

Informatics in Control, Automation and Robotics: 19th International Conference, ICINCO 2022 Lisbon, Portugal, July 14-16, 2022 Revised Selected Papers

Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

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

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

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

Algorithms in Bioinformatics: 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings

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

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

Advances in Computer Games: 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

Integer Programming and Combinatorial Optimization: 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings

Reversible Computation: 16th International Conference, RC 2024, ToruA, Poland, July 4-5, 2024, Proceedings

Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

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

Information Security: 26th International Conference, ISC 2023, Groningen, The Netherlands, November 15-17, 2023, Proceedings