Tools and Algorithms for the Construction and Analysis of Systems

Häftad, Engelska, 2020

Av Bernhard Steffen, Fabrice Kordon, Marieke Huisman

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

Inbunden

909 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

Mer från samma författare

Bridging the Gap Between AI and Reality
Del 14129

Bridging the Gap Between AI and Reality

Bernhard Steffen

1 799 kr

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

729 kr

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria, Bernhard Steffen

729 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

729 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

729 kr

Mathematical Foundations of Advanced Informatics

Mathematical Foundations of Advanced Informatics

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

479 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

729 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 239 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

909 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

729 kr

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

 

49 kr79 kr

Den yttersta hemligheten
Del 6

Den yttersta hemligheten

Dan Brown

289 kr329 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

259 kr

Jul med guldkant
  • Nyhet

Jul med guldkant

Catarina König

299 kr349 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

729 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

729 kr

Formal Methods for Industrial Critical Systems
Del 13487

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

1 009 kr

Tests and Proofs
Del 15153

Tests and Proofs

Marieke Huisman, Falk Howar

2 179 kr