Passer au contenu principal Passer au contenu du pied de page

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

Wolfgang Ahrendt Édition : Bernhard Beckert , Richard Bubel

9 décembre 2020

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

339

Programming and Software Engineering

Publié par: Springer Nature

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

ISBN: 9783030643539

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 $
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
94,95 $
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. 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. 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 $
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. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Tiziana Margaria Couverture souple
109,50 $
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Tiziana Margaria Couverture souple
116,95 $
Spring Boot Messaging: Messaging Apis For Enterprise And Integration Solutions

Felipe Gutierrez Couverture souple
65,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: 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
Global Media Convergence and Cultural Transformation: Emerging Social Patterns and Characteristics

Jin Couverture rigide
217,26 $
Reliability, Safety, And Security Of Railway Systems. Modelling, Analysis, Verification, And Certification: Third International Conference, Rssrail 2019, Lille, France, June 4-6, 2019, Proceedings

Simon Collart-dutilleul Couverture souple
94,95 $
2 formats offerts
Protocols For Authentication And Key Establishment

Colin Boyd Couverture rigide
175,50 $
3 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

Tiziana Margaria Couverture souple
145,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. 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
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
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Robert L. Carpenter Couverture souple
63,95 $

Évaluation éditoriale

bernhard beckert

Auteur

Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

Rocco De Nicola Couverture souple
80,50 $
Programming With Actors: State-of-the-art And Research Perspectives

Alessandro Ricci Couverture souple
80,50 $
2 formats offerts
Software Service and Application Engineering: Essays Dedicated To Bernd Kramer On The Occasion Of His 65th Birthday

Maritta Heisel Couverture souple
102,50 $
A Unifying Framework for Formal Theories of Novelty: Discussions, Guidelines, and Examples for Artificial Intelligence

Terrance Boult Couverture souple
65,95 $
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Pedro Lopez-garcia Couverture souple
204,50 $
2 formats offerts
Conceptual Models: Core to the Design of Interactive Applications

Jeff Johnson Couverture rigide
65,95 $
2 formats offerts
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers

Robert M. Hierons Couverture rigide
80,50 $
Advanced Model-based Engineering Of Embedded Systems: Extensions Of The Spes 2020 Methodology

Klaus Pohl Couverture souple
80,50 $
2 formats offerts
Models, Languages, And Tools For Concurrent And Distributed Programming: Essays Dedicated To Rocco De Nicola On The Occasion Of His 65th Birthday

Michele Boreale Couverture souple
80,50 $
2 formats offerts
Formal Methods In Outer Space: Essays Dedicated To Klaus Havelund On The Occasion Of His 65th Birthday

Ezio Bartocci Couverture souple
87,95 $
2 formats offerts
Solving Higher-order Equations: From Logic To Programming

Christian Prehofer Couverture souple
160,95 $
Introduction to Webometrics: Quantitative Web Research for the Social Sciences

Michael Thelwall Couverture souple
36,50 $
Constraint-based Design Recovery For Software Reengineering: Theory And Experiments

Steven G. Woods Couverture souple
321,50 $
3 formats offerts
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Martin Wirsing Couverture souple
160,95 $
Word Association Thematic Analysis: A Social Media Text Exploration Strategy

Michael Thelwall Couverture souple
94,95 $
Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

Robert B. France Couverture souple
80,50 $
Principles of VLSI System Planning: A Framework for Conceptual Design

Allen M Dewey Couverture souple
220,95 $
2 formats offerts
Domain Modeling-based Software Engineering: A Formal Approach

Ruqian Ruqian Lu Couverture souple
321,50 $
2 formats offerts
Systems Engineering For Business Process Change: New Directions: Collected Papers From The Epsrc Research Programme

Peter Henderson Couverture souple
80,50 $
2 formats offerts
Embedded Software Timing: Methodology, Analysis And Practical Tips With A Focus On Automotive

Peter Gliwa Couverture souple
94,95 $