Lets Explore,

Cover of 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(Theoretical Computer Science and General Issues)

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(Theoretical Computer Science and General Issues)

(Paperback)

Tiziana Margaria, Bernhard Steffen,

Springer Nature Switzerland AG (Publisher)

Published

2021

Reviews

0

Reference, Information and Interdisciplinary subjects Interdisciplinary studies Cognitive studies

By: Tiziana Margaria, Bernhard Steffen | Publisher: Springer Nature Switzerland AG | Released: 12 Oct 2021

Ships within 12-14 days

₹4682.00

₹7431.00

37% off

1

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.

The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.

More books by Tiziana Margaria, Bernhard Steffen

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Tiziana Margaria

₹8959.0₹5644.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria

₹16799.0₹7056.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Tiziana Margaria

₹8959.0₹5644.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Tiziana Margaria

₹5599.0₹3583.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Tiziana Margaria

₹9519.0₹5997.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Tiziana Margaria

₹5599.0₹3583.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria

₹5599.0₹3583.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Tiziana Margaria

₹5599.0₹3583.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Tiziana Margaria

₹5599.0₹3583.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Tiziana Margaria

₹5599.0₹3583.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria

₹5599.0₹3583.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Tiziana Margaria

₹5599.0₹3583.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Tiziana Margaria

₹9519.0₹5997.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Tiziana Margaria

₹7279.0₹4586.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Tiziana Margaria

₹7839.0₹4939.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Tiziana Margaria

₹7839.0₹4939.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Tiziana Margaria

₹7391.0₹4656.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Tiziana Margaria

₹8399.0₹5291.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria

₹7839.0₹4939.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation: Applications

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Tiziana Margaria

₹5599.0₹3583.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria

₹11199.0₹7055.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Tiziana Margaria

₹5599.0₹3583.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria

₹5599.0₹3583.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Tiziana Margaria

₹5599.0₹3583.0

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Tiziana Margaria

₹5599.0₹3583.0

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tiziana Margaria

₹5599.0₹3583.0

Cover of Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation

Tiziana Margaria

₹5599.0₹3583.0

Cover of Services and Visualization: Towards User-Friendly Design

Services and Visualization: Towards User-Friendly Design

Joachim Posegga

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Kim G. Larsen

Cover of Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation

Tiziana Margaria

Similar Products

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Margaria Tiziana Margaria

Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Margaria Tiziana Margaria

Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Margaria Tiziana Margaria

Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Margaria Tiziana Margaria

Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Margaria Tiziana Margaria

Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Margaria Tiziana Margaria

Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Margaria Tiziana Margaria

Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Margaria Tiziana Margaria

Vidya AI