Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Name: Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Mahsa Shirmohammadi
ISBN: 9783030850364

Catalin Dima Edited by Mahsa Shirmohammadi

Aug 09, 2021

$80.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 403 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

155

Theoretical Computer Science and General Issues

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783030850364

Editorial reviews

mahsa shirmohammadi

Author

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

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

Radu Calinescu Paperback
$131.50
2 formats available
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Omri Isac Paperback
$102.50
2 formats available
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Krishnendu Chatterjee Paperback
$80.50
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Miko Bojaåczyk Paperback
$87.95
2 formats available
Knowledge Engineering and Semantic Web: 6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings

Pavel Klinov Paperback
$80.50
Application And Theory Of Petri Nets And Concurrency: 39th International Conference, Petri Nets 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Victor Khomenko Paperback
$80.50
2 formats available
Formal Modeling And Analysis Of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Nathalie Bertrand Paperback
$80.50
2 formats available
Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Cezar C-mpeanu Paperback
$80.50
2 formats available
Graph-Based Representation and Reasoning: 21st International Conference on Conceptual Structures, ICCS 2014, IaAYi, Romania, July 27-30, 2014, Proceedings

Nathalie Hernandez Paperback
$80.50
Unconventional Computation and Natural Computation: 11th International Conference, Ucnc 2012, Orleans, France, September 3-7, 2012, Proceedings

Jerome Durand-Lose Paperback
$72.95
Membrane Computing: 14th International Conference, CMC 2013, ChiAYinAu, Republic of Moldova, August 20-23, 2013, Revised Selected Papers

Artiom Alhazov Paperback
$80.50
Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Orna Kupferman Paperback
$72.95
2 formats available
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

Étienne Andr Paperback
$80.50
2 formats available
Experimental IR Meets Multilinguality, Multimodality, and Interaction: 12th International Conference of the CLEF Association, CLEF 2021, Virtual Event, September 21-24, 2021, Proceedings

K. Sel Candan Paperback
$80.50
2 formats available
Descriptional Complexity Of Formal Systems: 22nd International Conference, Dcfs 2020, Vienna, Austria, August 24-26, 2020, Proceedings

Galina Jiráskov Paperback
$80.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
Automated Reasoning With Analytic Tableaux And Related Methods: 28th International Conference, Tableaux 2019, London, Uk, September 3-5, 2019, Proceedings

Serenella Cerrito Paperback
$80.50
2 formats available
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Erika Ábrah Paperback
$80.50
2 formats available
Theory And Applications Of Satisfiability Testing - Sat 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Luca Pulina Paperback
$80.50
2 formats available

Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Overview

You May Also Like

Foundations of Genetic Algorithms: 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers

Principles And Practice Of Constraint Programming - Cp 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings

Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL, Berlin, Germany, September 26-28, 2011, Proceedings

Adaptive Resource Management and Scheduling for Cloud Computing: First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers

Advances in Intelligent Data Analysis XX: 20th International Symposium on Intelligent Data Analysis, IDA 2022, Rennes, France, April 20-22, 2022, Proceedings

Data Visualization 2001: Proceedings of the Joint Eurographics - IEEE TCVG Symposium on Visualization in Ascona, Switzerland, May 28-30, 2001

Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Systems and Virtualization Management: Standards and the Cloud: Third International DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009. Revised Selected Papers

Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part II

Building University Electronic Educational Environments: IFIP TC3 WG3.2/3.6 International Working Conference on Building University Electronic Educational Environments August 4-6, 1999, Irvine, California, USA

Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part II

Public-Key Cryptography - PKC 2019: 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Vi

Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part I

Music Intelligence: Second Summit, SOMI 2023, Beijing, China, October 28-30, 2023, Revised Selected Papers

Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part I

Music Intelligence: Second Summit, SOMI 2023, Beijing, China, October 28-30, 2023, Revised Selected Papers

Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V

Neural Information Processing. Models and Applications: 17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part II

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

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

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Knowledge Engineering and Semantic Web: 6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings

Application And Theory Of Petri Nets And Concurrency: 39th International Conference, Petri Nets 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Formal Modeling And Analysis Of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Graph-Based Representation and Reasoning: 21st International Conference on Conceptual Structures, ICCS 2014, IaAYi, Romania, July 27-30, 2014, Proceedings

Unconventional Computation and Natural Computation: 11th International Conference, Ucnc 2012, Orleans, France, September 3-7, 2012, Proceedings

Membrane Computing: 14th International Conference, CMC 2013, ChiAYinAu, Republic of Moldova, August 20-23, 2013, Revised Selected Papers

Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

Experimental IR Meets Multilinguality, Multimodality, and Interaction: 12th International Conference of the CLEF Association, CLEF 2021, Virtual Event, September 21-24, 2021, Proceedings

Descriptional Complexity Of Formal Systems: 22nd International Conference, Dcfs 2020, Vienna, Austria, August 24-26, 2020, Proceedings

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

Automated Reasoning With Analytic Tableaux And Related Methods: 28th International Conference, Tableaux 2019, London, Uk, September 3-5, 2019, Proceedings

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

Theory And Applications Of Satisfiability Testing - Sat 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings