Hoppa till sidans huvudinnehåll

Joost-Pieter Katoen – författare

Visar alla böcker från författaren Joost-Pieter Katoen.
10 produkter
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva - Foundations of Probabilistic Programming, Inbunden

1 069 kr

Skickas inom 7-10 vardagar

Nan Guan, Joost-Pieter Katoen, Jun Sun - Dependable Software Engineering. Theories, Tools, and Applications, Häftad

739 kr

Skickas inom 10-15 vardagar

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker - Formal Methods, Häftad

1 459 kr

Skickas inom 10-15 vardagar

Joost-Pieter Katoen, Rom Langerak, Arend Rensink - ModelEd, TestEd, TrustEd, Häftad

739 kr

Skickas inom 10-15 vardagar

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle - Validation of Stochastic Systems, Häftad

719 kr

Skickas inom 10-15 vardagar

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

739 kr

Skickas inom 10-15 vardagar

Christel Baier, Joost-Pieter Katoen - Principles of Model Checking, Inbunden

1 009 kr

Tillfälligt slut