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

Name: Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Jeremy Sproston
ISBN: 9783031426254

Laure Petrucci Édition : Jeremy Sproston

29 août 2023

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

Description

Langue

anglais

Pages

181

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031426254

Business Information Systems: 23rd International Conference, Bis 2020, Colorado Springs, Co, Usa, June 8-10, 2020, Proceedings

Witold Abramowicz Couverture souple
80,50 $
2 formats offerts
Flexible Query Answering Systems: 5th International Conference, FQAS 2002. Copenhagen, Denmark, October 27-29, 2002, Proceedings

Troels Andreasen Couverture souple
80,50 $
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part I

Haiqin Yang Couverture souple
58,50 $
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part III

Haiqin Yang Couverture souple
160,95 $
2 formats offerts
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part III

Haiqin Yang Couverture souple
58,50 $
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part I

Haiqin Yang Couverture souple
160,95 $
2 formats offerts
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part II

Haiqin Yang Couverture souple
160,95 $
2 formats offerts
Information Systems: 16th European, Mediterranean, and Middle Eastern Conference, EMCIS 2019, Dubai, United Arab Emirates, December 9-10, 2019, Proceedings

Marinos Themistocleous Couverture souple
80,50 $
2 formats offerts
Algorithms in Bioinformatics: 9th International Workshop, WABI 2009, Philadelphia, USA, September 12-13, 2009. Proceedin: 9th International Workshop, WABI 2009, Philadelphia, USA, September 12-13, 2009. Proceedings

Steven L. Salzberg Couverture souple
160,95 $
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part II

Haiqin Yang Couverture souple
58,50 $
Rules and Reasoning: 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceeding: 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings

Anna Fensel Couverture souple
94,95 $
2 formats offerts
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part I

Hayit Greenspan Couverture souple
145,95 $
2 formats offerts
HCI for Cybersecurity, Privacy and Trust: 5th International Conference, HCI-CPT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings

Abbas Moallem Couverture souple
58,50 $
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part II

Hayit Greenspan Couverture souple
160,95 $
2 formats offerts
Information Security and Privacy: 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings

Lynn Batten Couverture souple
80,50 $
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 18-22, 2020, Proceedings, Part IV

Haiqin Yang Couverture souple
160,95 $
2 formats offerts
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part IX

Hayit Greenspan Couverture souple
160,95 $
2 formats offerts
Business Modeling And Software Design: 8th International Symposium, Bmsd 2018, Vienna, Austria, July 2-4, 2018, Proceedings

Boris Shishkov Couverture souple
80,50 $
2 formats offerts
Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings

Olivier Bournez Couverture souple
80,50 $
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part VIII

Hayit Greenspan Couverture souple
145,95 $
2 formats offerts

Évaluation éditoriale

jeremy sproston

Auteur

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
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay Couverture souple
80,50 $
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
Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Laura Kov Couverture souple
80,50 $
2 formats offerts
Socio-Technical Aspects in Security: 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers

Simon Parkin Couverture souple
116,95 $
2 formats offerts
Formal Modeling And Analysis Of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Nathalie Bertrand Couverture souple
80,50 $
2 formats offerts
Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

Patricia Bouyer 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
58,50 $
Constructive Side-Channel Analysis and Secure Design: 13th International Workshop, COSADE 2022, Leuven, Belgium, April 11-12, 2022, Proceedings

Josep Balasch Couverture souple
116,95 $
2 formats offerts
Design and Architectures for Signal and Image Processing: 17th International Workshop, DASIP 2024, Munich, Germany, January 17-19, 2024, Proceedings

Tiago Dias Couverture souple
72,95 $
Requirements Engineering: Foundation for Software Quality: 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

Alessio Ferrari Couverture souple
124,50 $
2 formats offerts
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Couverture souple
80,50 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Kim G. Larsen Couverture souple
80,50 $
Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Leen Lambers Couverture souple
72,95 $
2 formats offerts
Integer Programming And Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings

Daniel Bienstock Couverture souple
102,50 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Juliana Bowles Couverture souple
94,95 $
2 formats offerts
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Dirk Beyer Couverture souple
72,95 $
2 formats offerts
Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

Daniel Mendez Couverture souple
72,95 $
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Krishnendu Chatterjee Couverture souple
80,50 $
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Arne Meier Couverture souple
72,95 $

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

Description

Vous aimerez peut-être aussi

Business Information Systems: 23rd International Conference, Bis 2020, Colorado Springs, Co, Usa, June 8-10, 2020, Proceedings

Flexible Query Answering Systems: 5th International Conference, FQAS 2002. Copenhagen, Denmark, October 27-29, 2002, Proceedings

Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part I

Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part III

Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part III

Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part I

Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part II

Information Systems: 16th European, Mediterranean, and Middle Eastern Conference, EMCIS 2019, Dubai, United Arab Emirates, December 9-10, 2019, Proceedings

Algorithms in Bioinformatics: 9th International Workshop, WABI 2009, Philadelphia, USA, September 12-13, 2009. Proceedin: 9th International Workshop, WABI 2009, Philadelphia, USA, September 12-13, 2009. Proceedings

Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part II

Rules and Reasoning: 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceeding: 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings

Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part I

HCI for Cybersecurity, Privacy and Trust: 5th International Conference, HCI-CPT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings

Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part II

Information Security and Privacy: 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings

Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 18-22, 2020, Proceedings, Part IV

Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part IX

Business Modeling And Software Design: 8th International Symposium, Bmsd 2018, Vienna, Austria, July 2-4, 2018, Proceedings

Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings

Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part VIII

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

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

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

Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Socio-Technical Aspects in Security: 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers

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

Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

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

Constructive Side-Channel Analysis and Secure Design: 13th International Workshop, COSADE 2022, Leuven, Belgium, April 11-12, 2022, Proceedings

Design and Architectures for Signal and Image Processing: 17th International Workshop, DASIP 2024, Munich, Germany, January 17-19, 2024, Proceedings

Requirements Engineering: Foundation for Software Quality: 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Integer Programming And Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings

Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

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

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