Tools and Algorithms for the Construction and Analysis of Systems

Inbunden, Engelska, 2020

Av Bernhard Steffen, Fabrice Kordon, Marieke Huisman

919 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)

Häftad

829 kr

Skickas inom 5-8 vardagar

Produktinformation

  • Utgivningsdatum2020-10-08
  • Mått216 x 279 x 18 mm
  • Vikt939 g
  • FormatInbunden
  • SpråkEngelska
  • Antal sidor280
  • FörlagSaint Philip Street Press
  • ISBN9781013271212

Mer från samma författare

Karten Von Mykenai

Karten Von Mykenai

Bernhard Steffen

419 kr

Karten Von Mykenai

Karten Von Mykenai

Bernhard Steffen

219 kr

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Tiziana Margaria, Bernhard Steffen

739 kr

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria, Bernhard Steffen

739 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

739 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

739 kr

Mathematical Foundations of Advanced Informatics

Mathematical Foundations of Advanced Informatics

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

489 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

739 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 249 kr

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Tiziana Margaria, Bernhard Steffen

739 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

829 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

739 kr

Formal Techniques for Distributed Objects, Components, and Systems
Del 13910

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman, António Ravara, Antonio Ravara

1 029 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

739 kr

Formal Methods for Industrial Critical Systems
Del 13487

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

1 019 kr

Den yttersta hemligheten
  • Nyhet
Del 6

Den yttersta hemligheten

Dan Brown

329 kr

Harry Potter och de vises sten
Del 1

Harry Potter och de vises sten

J.K. Rowling

439 kr

Vitön. : Den fristående fortsättningen på Expeditionen

Vitön. : Den fristående fortsättningen på Expeditionen

Bea Uusma

399 kr

Tests and Proofs
Del 15153

Tests and Proofs

Marieke Huisman, Falk Howar

2 129 kr

Integrated Formal Methods

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman, Erika Abraham

1 179 kr

Tillhör följande kategorier