Your Privacy Settings

By selecting "Accept All", you permit Rakuten Kobo and its partners to use cookies, tracking and similar technologies to collect your personal data and process it for the following purposes: to operate the website and Kobo services and ensure they work properly, to deliver you personalized content on Kobo and advertisements for Kobo on other platforms, and to measure analytics and analyze how our website and services are being used. Otherwise, please click on "Decline" below to reject all non-essential purposes or view "Privacy Settings" to manage your preferences for each purpose. For more information, please read our Privacy Policy.

Computing and Software Science

State of the Art and Perspectives

Bernhard Steffen,Gerhard Woeginger

Computer Science (R0)

You are in the Greece store

Not in Greece? Choose your country’s store to see books available for purchase.

Choose Store

Synopsis

About this book

Language:English
ISBN:9783319919089
Release date:Oct 6, 2019
Publisher:Springer International Publishing

Imprint:Springer
File format:EPUB3
File size:27.13 MB
Download options:EPUB3 (Adobe DRM)

In this series

Transactions on Foundations for Mastering Change I

Bernhard Steffen

More By Author

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

Tiziana Margaria, Bernhard Steffen

71,54 €

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - eBook by Tiziana Margaria, Bernhard Steffen

Did you like the book?

Be the first to rate and review this book!

Your Privacy Settings

Computing and Software Science

Synopsis

About this book

Book details

How to read

In this series

Transactions on Foundations for Mastering Change I

More By Author

Formal Methods for Industrial Critical Systems

Bridging the Gap Between AI and Reality

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

Leveraging Applications of Formal Methods, Verification and Validation

Real Time and Such

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

Model Checking, Synthesis, and Learning

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

Transactions on Foundations for Mastering Change I

The Combined Power of Research, Education, and Dissemination

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

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

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

Bridging the Gap Between AI and Reality

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

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Practice

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

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

Leveraging Applications of Formal Methods, Verification and Validation: Applications

SOFSEM 2017: Theory and Practice of Computer Science

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

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

Did you like the book?

eBooks

Audiobooks

Did you like the book?

Latest Blog Posts

More By Author

Formal Methods for Industrial Critical Systems

Bridging the Gap Between AI and Reality

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

Leveraging Applications of Formal Methods, Verification and Validation

Real Time and Such

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

Model Checking, Synthesis, and Learning

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

Transactions on Foundations for Mastering Change I

The Combined Power of Research, Education, and Dissemination

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

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

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

Bridging the Gap Between AI and Reality

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

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Practice

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

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

Leveraging Applications of Formal Methods, Verification and Validation: Applications

SOFSEM 2017: Theory and Practice of Computer Science

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

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