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

799 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

889 kr

Skickas inom 5-8 vardagar
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen, 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, Fabrice Kordon, Bernhard Steffen, Ph. D. Beyer, Dirk

Häftad, Engelska, 2019

739 kr

Skickas inom 10-15 vardagar
Marieke Huisman, Corina Păsăreanu, Naijun Zhan, Corina Pasareanu, Corina Păsăreanu, 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, Corina P¿s¿reanu

Häftad, Engelska, 2021

1 609 kr

Skickas inom 10-15 vardagar
Jan Friso Groote, Marieke Huisman - Formal Methods for Industrial Critical Systems, Häftad

Formal Methods for Industrial Critical Systems

Av Jan Friso Groote, Marieke Huisman

Häftad, Engelska, 2022

1 019 kr

Skickas inom 10-15 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 7-10 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

Formal Techniques for Distributed Objects, Components, and Systems

Av Marieke Huisman, António Ravara, Antonio Ravara

Häftad, Engelska, 2023

1 029 kr

Skickas inom 10-15 vardagar
Marieke Huisman, Falk Howar - Tests and Proofs, Häftad

Tests and Proofs

Av Marieke Huisman, Falk Howar

Häftad, Engelska, 2024

2 179 kr

Skickas inom 10-15 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 179 kr

Skickas inom 10-15 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 10-15 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 10-15 vardagar
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean - Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Häftad

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Av Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean

Häftad, Engelska, 2005

739 kr

Skickas inom 10-15 vardagar
Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet - Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Häftad

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Av Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet

Häftad, Engelska, 2006

739 kr

Skickas inom 10-15 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

739 kr

Skickas inom 10-15 vardagar