Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Name: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Price: 145.95 CAD
Availability: InStock
Author: Bernhard Steffen
ISBN: 9783030613617

Tiziana Margaria Édition : Bernhard Steffen

29 octobre 2020

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

Description

Langue

anglais

Pages

582

Theoretical Computer Science and General Issues

Publié par: Springer Nature

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

ISBN: 9783030613617

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Leveraging Applications Of Formal Methods, Verification And Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Tiziana Margaria Couverture souple
145,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Tiziana Margaria Couverture souple
102,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Effective Concurrency in Go: Develop, analyze, and troubleshoot high performance concurrent applications with ease

Burak Serdar Couverture souple
50,99 $
2 formats offerts
Mainframes in the Modern Era: Adapting to New Technologies: Mainframes

Isaac Nangan Livre numérique Kobo
20,99 $
Linear Integer Programming: Theory, Applications, Recent Developments

Elias Munapo Couverture rigide
198,99 $
Autonomous Driving: Technical, Legal and Social Aspects

Couverture souple
78,33 $
Persuasive Technology: Development of Persuasive and Behavior Change Support Systems: 14th International Conference, PERSUASIVE 2019, Limassol, Cyprus, April 9-11, 2019, Proceedings

Harri Oinas-Kukkonen Couverture souple
109,50 $
2 formats offerts
Deductive Software Verification: Future Perspectives: Reflections On The Occasion Of 20 Years Of Key

Wolfgang Ahrendt Couverture souple
80,50 $
2 formats offerts
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Robert L. Carpenter Couverture souple
63,95 $
Altmetrics for Research Outputs Measurement and Scholarly Information Management: International Altmetrics Workshop, AROSIM 2018, Singapore, Singapore, January 26, 2018, Revised Selected Papers

Mojisola Erdt Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

bernhard steffen

Auteur

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Leveraging Applications Of Formal Methods, Verification And Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Tiziana Margaria Couverture souple
145,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Tiziana Margaria Couverture souple
102,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Tiziana Margaria Couverture souple
80,50 $
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Theory And Applications Of Satisfiability Testing - Sat 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Luca Pulina Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings

Christel Baier Couverture souple
87,95 $
2 formats offerts
Applied Reconfigurable Computing. Architectures, Tools, And Applications: 16th International Symposium, Arc 2020, Toledo, Spain, April 1-3, 2020, Proceedings

Fernando Rinc Couverture souple
80,50 $
2 formats offerts
Applied Reconfigurable Computing. Architectures, Tools, And Applications: 17th International Symposium, Arc 2021, Virtual Event, June 29-30, 2021, Proceedings

Steven Derrien Couverture souple
80,50 $
2 formats offerts
Theory And Applications Of Satisfiability Testing - Sat 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Chu-min Li Couverture souple
175,50 $
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

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Description

Vous aimerez peut-être aussi

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications Of Formal Methods, Verification And Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Effective Concurrency in Go: Develop, analyze, and troubleshoot high performance concurrent applications with ease

Mainframes in the Modern Era: Adapting to New Technologies: Mainframes

Linear Integer Programming: Theory, Applications, Recent Developments

Autonomous Driving: Technical, Legal and Social Aspects

Persuasive Technology: Development of Persuasive and Behavior Change Support Systems: 14th International Conference, PERSUASIVE 2019, Limassol, Cyprus, April 9-11, 2019, Proceedings

Deductive Software Verification: Future Perspectives: Reflections On The Occasion Of 20 Years Of Key

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Altmetrics for Research Outputs Measurement and Scholarly Information Management: International Altmetrics Workshop, AROSIM 2018, Singapore, Singapore, January 26, 2018, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Leveraging Applications Of Formal Methods, Verification And Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

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

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings

Applied Reconfigurable Computing. Architectures, Tools, And Applications: 16th International Symposium, Arc 2020, Toledo, Spain, April 1-3, 2020, Proceedings

Applied Reconfigurable Computing. Architectures, Tools, And Applications: 17th International Symposium, Arc 2021, Virtual Event, June 29-30, 2021, Proceedings

Theory And Applications Of Satisfiability Testing - Sat 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

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