Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Name: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Price: 72.95 CAD
Availability: InStock
Author: Akash Lal
ISBN: 9783031377051

Constantin Enea Édition : Akash Lal

17 juillet 2023

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

Description

Langue

anglais

Pages

488

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031377051

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Constantin Enea Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Constantin Enea Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Sharon Shoham Couverture souple
72,95 $
2 formats offerts
Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings

Wei-Ngan Chin Couverture souple
116,95 $
2 formats offerts
Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings

Wei-Ngan Chin Couverture souple
72,95 $
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

Sharon Shoham Couverture souple
72,95 $
2 formats offerts
Parallel Problem Solving from Nature - PPSN XII: 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part I

Carlos Coello Coello Couverture souple
80,50 $
Parallel Problem Solving from Nature - PPSN XII: 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II

Carlos Coello Coello Couverture souple
80,50 $
Human-computer Interaction - Interact 2019: 17th Ifip Tc 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part I

David Lamas Couverture souple
249,95 $
2 formats offerts
Human-computer Interaction - Interact 2019: 17th Ifip Tc 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part Ii

David Lamas Couverture souple
160,95 $
2 formats offerts
Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II

Dorina C. Petriu Couverture souple
80,50 $
Architecture of Computing Systems - ARCS 2006: 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings

Werner Grass Couverture souple
80,50 $
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Cristina David Couverture souple
124,50 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Vijay Ganesh Couverture souple
72,95 $
2 formats offerts
Foundations of Information Technology in the Era of Network and Mobile Computing: Ifip 17th World Computer Congress -- Tc1 Stream / 2nd Ifip International Conference on Theoretical Computer Science (Tcs 2002) August 25-30, 2002, Montréal, Québec, Canada

Couverture souple
220,95 $
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Arie Gurfinkel Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Vijay Ganesh Couverture souple
72,95 $
2 formats offerts
Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings

Ivan Lanese Couverture souple
80,50 $
2 formats offerts
Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

Alexander Dudin Couverture souple
80,50 $
2 formats offerts
Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings

Dominik Dürrschnabel Couverture souple
87,95 $
2 formats offerts

Évaluation éditoriale

akash lal

Auteur

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Constantin Enea Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Constantin Enea Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Vijay Ganesh Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Arie Gurfinkel Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Vijay Ganesh Couverture souple
72,95 $
2 formats offerts
Graph Transformation: 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings

Nicolas Behr Couverture souple
87,95 $
2 formats offerts
Information Security Theory and Practice: 14th IFIP WG 11.2 International Conference, WISTP 2024, Paris, France, February 29 - March 1, 2024, Proceedings

Samia Bouzefrane Couverture souple
80,50 $
2 formats offerts
Graph Transformation: 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings

Maribel Fernández Couverture souple
102,50 $
2 formats offerts
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Alexandra Silva Couverture souple
72,95 $
2 formats offerts
Graph Transformation: 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Russ Harmer Couverture souple
94,95 $
2 formats offerts
Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XII: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XIII

Ale Leonardis Couverture souple
116,95 $
2 formats offerts
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Christoph Benzmüller Couverture souple
116,95 $
2 formats offerts
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Andr Platzer Couverture souple
72,95 $
2 formats offerts
Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLV: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLVI

Ale Leonardis Couverture souple
204,50 $
2 formats offerts
Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXX: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXXIX

Ale Leonardis Couverture souple
116,95 $
2 formats offerts
Rules and Reasoning: 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings

Sabrina Kirrane Couverture souple
94,95 $
2 formats offerts
Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LVI: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LVII

Ale Leonardis Couverture souple
116,95 $
2 formats offerts
Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LVI: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LVIII

Ale Leonardis Couverture souple
116,95 $
2 formats offerts
Genetic Programming: 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings

Eric Medvet Couverture souple
102,50 $
2 formats offerts
Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXI: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXIII

Ale Leonardis Couverture souple
116,95 $
2 formats offerts

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Description

Vous aimerez peut-être aussi

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings

Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

Parallel Problem Solving from Nature - PPSN XII: 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part I

Parallel Problem Solving from Nature - PPSN XII: 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II

Human-computer Interaction - Interact 2019: 17th Ifip Tc 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part I

Human-computer Interaction - Interact 2019: 17th Ifip Tc 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part Ii

Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II

Architecture of Computing Systems - ARCS 2006: 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings

Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Foundations of Information Technology in the Era of Network and Mobile Computing: Ifip 17th World Computer Congress -- Tc1 Stream / 2nd Ifip International Conference on Theoretical Computer Science (Tcs 2002) August 25-30, 2002, Montréal, Québec, Canada

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings

Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Graph Transformation: 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings

Information Security Theory and Practice: 14th IFIP WG 11.2 International Conference, WISTP 2024, Paris, France, February 29 - March 1, 2024, Proceedings

Graph Transformation: 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Graph Transformation: 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XII: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XIII

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLV: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLVI

Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXX: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXXIX

Rules and Reasoning: 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings

Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LVI: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LVII

Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LVI: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LVIII

Genetic Programming: 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings

Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXI: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXIII