Joost-Pieter Katoen | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 10 tuotetta
Haluatko tarkentaa hakukriteerejä?

Tools and Algorithms for the Construction and Analysis of Systems - 8th International Conference, TACAS 2002, Held as Part of th

Katoen, Joost-Pieter; Stevens, Perdita
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2002
Pehmeäkantinen kirja

51,40 €

CONCUR 2011 -- Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceeding

Katoen, Joost-Pieter; König, Barbara
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,40 €

ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Katoen, Joost-Pieter; Langerak, Rom; Rensink, Arend
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,40 €

Principles of Model Checking

Baier, Christel; Katoen, Joost-Pieter
MIT Press Ltd
2008
Kovakantinen kirja

84,30 €

Model-Based Testing of Reactive Systems - Advanced Lectures

Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

51,40 €

Lectures on Formal Methods and Performance Analysis - First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, Th

Brinksma, Ed; Hermanns, Holger; Katoen, Joost-Pieter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Pehmeäkantinen kirja

51,40 €

Validation of Stochastic Systems - A Guide to Current Research

Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter; Siegle, Markus
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja