Tools and Algorithms for the Construction and Analysis of Systems

Häftad, Engelska, 2020

AvBernhard Steffen,Fabrice Kordon,Marieke Huisman

809 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

899 kr

Skickas inom 5-8 vardagar

Produktinformation

Utgivningsdatum2020-10-08
Mått216 x 279 x 15 mm
Vikt653 g
FormatHäftad
SpråkEngelska
Antal sidor280
FörlagSaint Philip Street Press
ISBN9781013271205

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it
Nätverk och kommunikation inom Data och it

Mer från samma författare

Karten Von Mykenai

Karten Von Mykenai

Bernhard Steffen

509 kr

Karten Von Mykenai

Karten Von Mykenai

Bernhard Steffen

299 kr

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Tiziana Margaria, Bernhard Steffen

709 kr

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria, Bernhard Steffen

709 kr

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

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

Tiziana Margaria, Bernhard Steffen

709 kr

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

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

Tiziana Margaria, Bernhard Steffen

709 kr

Mathematical Foundations of Advanced Informatics

Mathematical Foundations of Advanced Informatics

Bernhard Steffen, Oliver Rüthing, Michael Huth, Oliver Ruthing

469 kr

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen, Ph. D. Beyer, Dirk

709 kr

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

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

Tiziana Margaria, Bernhard Steffen

1 199 kr

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Tiziana Margaria, Bernhard Steffen

709 kr

Du kanske också är intresserad av

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen, Fabrice Kordon, Marieke Huisman

899 kr

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen, Ph. D. Beyer, Dirk

709 kr

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet

709 kr

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean

709 kr

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

969 kr

Tests and Proofs

Tests and Proofs

Marieke Huisman, Falk Howar

2 089 kr

Integrated Formal Methods

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman, Erika Abraham

1 129 kr

Concise Guide to Software Verification

Concise Guide to Software Verification

Marieke Huisman, Anton Wijs

1 269 kr

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Marieke Huisman, Julia Rubin

709 kr

Formal Methods

Formal Methods

Marieke Huisman, Corina Păsăreanu, Naijun Zhan, Corina Pasareanu, Corina Păsăreanu, Corina P¿s¿reanu

1 549 kr