Joost-Pieter Katoen - Böcker

Visar alla böcker från författaren Joost-Pieter Katoen.
10 produkter
Nan Guan, Joost-Pieter Katoen, Jun Sun - Dependable Software Engineering. Theories, Tools, and Applications, Häftad

Dependable Software Engineering. Theories, Tools, and Applications

Av Nan Guan, Joost-Pieter Katoen, Jun Sun

Häftad, Engelska, 2019

739 kr

Skickas inom 7-10 vardagar
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker - Formal Methods, Häftad
Del 14000 - Lecture Notes in Computer Science

Formal Methods

Av Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Häftad, Engelska, 2023

1 459 kr

Skickas inom 7-10 vardagar
Joost-Pieter Katoen, Rom Langerak, Arend Rensink - ModelEd, TestEd, TrustEd, Häftad

ModelEd, TestEd, TrustEd

Av Joost-Pieter Katoen, Rom Langerak, Arend Rensink

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle - Validation of Stochastic Systems, Häftad
Del 2925 - Lecture Notes in Computer Science

Validation of Stochastic Systems

Av Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

Häftad, Engelska, 2004

719 kr

Skickas inom 7-10 vardagar
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner - Model-Based Testing of Reactive Systems, Häftad

Model-Based Testing of Reactive Systems

Av Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Häftad, Engelska, 2005

739 kr

Skickas inom 7-10 vardagar
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen - Lectures on Formal Methods and Performance Analysis, Häftad
Del 2090 - Lecture Notes in Computer Science

Lectures on Formal Methods and Performance Analysis

Av Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

Häftad, Engelska, 2001

739 kr

Skickas inom 7-10 vardagar
Joost-Pieter Katoen, Perdita Stevens - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 2280 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Joost-Pieter Katoen, Perdita Stevens

Häftad, Engelska, 2002

739 kr

Skickas inom 7-10 vardagar
Joost-Pieter Katoen, Barbara König - CONCUR 2011 -- Concurrency Theory, Häftad

CONCUR 2011 -- Concurrency Theory

Av Joost-Pieter Katoen, Barbara König

Häftad, Engelska, 2011

739 kr

Skickas inom 7-10 vardagar