Tools and Algorithms for the Construction and Analysis of Systems

AvBernhard Steffen,Fabrice Kordon

Häftad, Engelska, 2020

640 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

711 kr

Produktinformation

Utgivningsdatum:2020-10-08
Mått:216 x 279 x 15 mm
Vikt:653 g
Format:Häftad
Språk:Engelska
Antal sidor:280
Förlag:Saint Philip Street Press
ISBN:9781013271205

Utforska kategorier

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

Mer från samma författare

Karten Von Mykenai

Bernhard Steffen

Inbunden, 2025

356 kr

Karten Von Mykenai

Bernhard Steffen

Häftad, 2025

185 kr

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Tiziana Margaria, Bernhard Steffen

Häftad, 2018

557 kr

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Bernhard Steffen, Tiziana Margaria

E-bok

2018

732 kr

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria, Bernhard Steffen

Häftad, 2018

557 kr

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Bernhard Steffen, Tiziana Margaria

E-bok

2018

732 kr

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

Tiziana Margaria, Bernhard Steffen

Häftad, 2018

557 kr

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

Bernhard Steffen, Tiziana Margaria

E-bok

2018

732 kr

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

Tiziana Margaria, Bernhard Steffen

Häftad, 2018

557 kr

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

Bernhard Steffen, Tiziana Margaria

E-bok

2018

732 kr

Du kanske också är intresserad av