Skip to main content Skip to footer content

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

Sergiy Bogomolov Edited by David Parker

Aug 29, 2022

$87.95

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 440 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

307

Lecture Notes In Computer Science

Publisher: Springer Nature

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

ISBN: 9783031158384

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

Stefan Gradmann Paperback
$80.50
Multiple Classifier Systems: Second International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001 Proceedings

Josef Kittler Paperback
$80.50
Practical Aspects Of Knowledge Management: 4th International Conference, PAKM 2002, Vienna, Austria, December 2-3, 2002, Proceedings

Dimitris Karagiannis Paperback
$160.95
Advances In Computational Intelligence, Security And Internet Of Things: Second International Conference, Iccisiot 2019, Agartala, India, December 13-14, 2019, Proceedings

Ashim Saha Paperback
$80.50
2 formats available
Computational Data And Social Networks: 10th International Conference, Csonet 2021, Virtual Event, November 15-17, 2021, Proceedings

David Mohaisen Paperback
$124.50
2 formats available
Computational Diffusion MRI: 13th International Workshop, CDMRI 2022, Held in Conjunction with MICCAI 2022, Singapore, Singapore, September 22, 2022, Proceedings

Suheyla Cetin-karayumak Paperback
$87.95
2 formats available
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV

Mohammad Tanveer Paperback
$175.50
2 formats available
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Joel Ouaknine Paperback
$80.50
Persuasive Technology: Design for Health and Safety: 7th International Conference on Persuasive Technology, PERSUASIVE 2012, Linkoping, Sweden, June 6-8, 2012. Proceedings

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

Arne Meier Paperback
$72.95
Advances in Neural Networks - ISNN 2019: 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019, Proceedings, Part I

Huchuan Lu Paperback
$80.50
2 formats available
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay Paperback
$80.50
Developments in Language Theory: 28th International Conference, DLT 2024, Gottingen, Germany, August 12-16, 2024, Proceedings

Joel D. Day Paperback
$72.95
Advances in Web-based Learning - ICWL 2011: 10th International Conference, Hong Kong, China, December 8-10, 2011. Proceedings

Howard Leung Paperback
$80.50
Developments in Language Theory: 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016, Proceeding: 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016, Proceedings

Sre Brlek Paperback
$80.50
2 formats available
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I

Mohammad Tanveer Paperback
$160.95
2 formats available
Advances in Intelligent Data Analysis XVIII: 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings

Michael R. Berthold Paperback
$72.95
2 formats available
Algorithms and Data Structures: 10th International Workshop, Wads 2007, Halifax, Canada, August 15-17, 2007, Proceedings

Frank Dehne Paperback
$160.95
Enterprise, Business-Process and Information Systems Modeling: 23rd International Conference, BPMDS 2022 and 27th International Conference, EMMSAD 2022, Held at CAiSE 2022, Leuven, Belgium, June 6-7, 2022, Proceedings

Adriano Augusto Paperback
$124.50
2 formats available
Intelligent Data Engineering and Automated Learning - IDEAL 2022: 23rd International Conference, IDEAL 2022, Manchester, UK, November 24-26, 2022, Proceedings

Hujun Yin Paperback
$145.95
2 formats available

Editorial reviews

Author

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

Laure Petrucci 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
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Jan Friso Groote Paperback
$116.95
2 formats available
Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Catalin Dima 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
Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Juliana Bowles Paperback
$94.95
2 formats available
Modelling and Mining Networks: 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings

Megan Dewar Paperback
$175.50
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
Algorithmic Aspects of Cloud Computing: 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers

Luca Foschini Paperback
$87.95
2 formats available
Integer Programming and Combinatorial Optimization: 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings

Jens Vygen Paperback
$116.95
2 formats available
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Paperback
$80.50
2 formats available
Structural Information and Communication Complexity: 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings

Merav Parter Paperback
$124.50
2 formats available
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Ahmed Bouajjani Paperback
$124.50
2 formats available
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay Paperback
$80.50
Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Nils Jansen Paperback
$109.50
2 formats available
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne Andr Paperback
$109.50
2 formats available
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Paperback
$102.50
2 formats available
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings

Marco Gribaudo Paperback
$80.50
2 formats available
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Paperback
$116.95
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