Kim Guldstrand Larsen - Böcker

Visar alla böcker från författaren Kim Guldstrand Larsen.
7 produkter
Kim Guldstrand Larsen, Tim Willemse - Formal Methods for Industrial Critical Systems, Häftad

Formal Methods for Industrial Critical Systems

Av Kim Guldstrand Larsen, Tim Willemse

Häftad, Engelska, 2019

739 kr

Skickas inom 10-15 vardagar
Jan Friso Groote, Kim Guldstrand Larsen - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Jan Friso Groote, Kim Guldstrand Larsen

Häftad, Engelska, 2021

599 kr

Skickas inom 10-15 vardagar
Jan Friso Groote, Kim Guldstrand Larsen - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Jan Friso Groote, Kim Guldstrand Larsen

Häftad, Engelska, 2021

589 kr

Skickas fredag 14/11
Kim Guldstrand Larsen, Igor Potapov, Jiří Srba, Jiri Srba - Reachability Problems, Häftad

Reachability Problems

Av Kim Guldstrand Larsen, Igor Potapov, Jiří Srba, Jiri Srba

Häftad, Engelska, 2016

739 kr

Skickas inom 10-15 vardagar
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang - Dependable Software Engineering. Theories, Tools, and Applications, Häftad

Dependable Software Engineering. Theories, Tools, and Applications

Av Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang

Häftad, Engelska, 2017

739 kr

Skickas inom 10-15 vardagar
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen

Häftad, Engelska, 2015

739 kr

Skickas inom 10-15 vardagar