Marieke Huisman - Böcker

Visar alla böcker från författaren Marieke Huisman.
15 produkter
Bernhard Steffen, Fabrice Kordon, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Bernhard Steffen, Fabrice Kordon, Marieke Huisman

Häftad, Engelska, 2020

819 kr

Skickas inom 5-8 vardagar
Bernhard Steffen, Fabrice Kordon, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems, Inbunden

Tools and Algorithms for the Construction and Analysis of Systems

Av Bernhard Steffen, Fabrice Kordon, Marieke Huisman

Inbunden, Engelska, 2020

909 kr

Skickas inom 5-8 vardagar
Marieke Huisman, Corina Păsăreanu, Naijun Zhan, Corina Pasareanu, Corina Păsăreanu - Formal Methods, Häftad

Formal Methods

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

Häftad, Engelska, 2021

1 589 kr

Skickas inom 7-10 vardagar
Jan Friso Groote, Marieke Huisman - Formal Methods for Industrial Critical Systems, Häftad
Del 13487 - Lecture Notes in Computer Science

Formal Methods for Industrial Critical Systems

Av Jan Friso Groote, Marieke Huisman

Häftad, Engelska, 2022

1 019 kr

Skickas inom 7-10 vardagar
Marieke Huisman, Anton Wijs - Concise Guide to Software Verification, Inbunden

Concise Guide to Software Verification

Av Marieke Huisman, Anton Wijs

Inbunden, Engelska, 2023

1 259 kr

Skickas inom 5-8 vardagar
Marieke Huisman, Anton Wijs - Concise Guide to Software Verification, Häftad

Concise Guide to Software Verification

Av Marieke Huisman, Anton Wijs

Häftad, Engelska, 2024

999 kr

Skickas inom 7-10 vardagar
Marieke Huisman, António Ravara, Antonio Ravara - Formal Techniques for Distributed Objects, Components, and Systems, Häftad
Del 13910 - Lecture Notes in Computer Science

Formal Techniques for Distributed Objects, Components, and Systems

Av Marieke Huisman, António Ravara, Antonio Ravara

Häftad, Engelska, 2023

1 019 kr

Skickas inom 7-10 vardagar
Marieke Huisman, Falk Howar - Tests and Proofs, Häftad
Del 15153 - Lecture Notes in Computer Science

Tests and Proofs

Av Marieke Huisman, Falk Howar

Häftad, Engelska, 2024

2 129 kr

Skickas inom 7-10 vardagar
Erika Ábrahám, Marieke Huisman, Erika Abraham - Integrated Formal Methods, Häftad

Integrated Formal Methods

Av Erika Ábrahám, Marieke Huisman, Erika Abraham

Häftad, Engelska, 2016

1 169 kr

Skickas inom 7-10 vardagar
Dirk Beyer, Marieke Huisman, Ph. D. Beyer, Dirk - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Dirk Beyer, Marieke Huisman, Ph. D. Beyer, Dirk

Häftad, Engelska, 2018

739 kr

Skickas inom 7-10 vardagar
Dirk Beyer, Marieke Huisman, Ph. D. Beyer, Dirk - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Dirk Beyer, Marieke Huisman, Ph. D. Beyer, Dirk

Häftad, Engelska, 2018

739 kr

Skickas inom 7-10 vardagar
Marieke Huisman, Julia Rubin - Fundamental Approaches to Software Engineering, Häftad

Fundamental Approaches to Software Engineering

Av Marieke Huisman, Julia Rubin

Häftad, Engelska, 2017

729 kr

Skickas inom 7-10 vardagar