23 results found

Sort By:

ModelEd, TestEd, TrustEd

By: Joost-Pieter Katoen, Arend Rensink, Rom Langerak

Publisher: Springer International Publishing AG

No Review Yet

AED225

Binding:	Paperback
Release:	29 Sep 2017
Language:	English

Available

Ships within 14-16 Days Explain..

Principles of Model Checking

By: Joost-Pieter Katoen, Christel Baier, Kim Guldstrand Larsen

Publisher: MIT Press Ltd

4.3

(6)

AED431

Binding:	Hardback
Release:	25 Apr 2008
Language:	English

Available

Ships within 4-6 Days Explain..

Formal Methods

By: Leucker Martin Leucker, Katoen Joost-Pieter Katoen, Chechik Marsha Chechik

Publisher: Springer Nature B.V.

No Review Yet

AED247

Binding:	Paperback
Release:	08 Mar 2023
Language:	English

International Edition

Ships within 10-12 Days Explain..

Lectures on Formal Methods and Performance Analysis

By: Joost-Pieter Katoen, Ed Brinksma, Holger Hermanns

Publisher: Springer

No Review Yet

AED240

Binding:	Paperback
Release:	15 Jan 2014

International Edition

Ships within 10-12 Days Explain..

Formal Methods

By: Joost-Pieter Katoen, Martin Leucker, Marsha Chechik

Publisher: Springer International Publishing AG

No Review Yet

AED449

Binding:	Paperback
Release:	03 Mar 2023
Language:	English

Available

Ships within 14-16 Days Explain..

Foundations of Probabilistic Programming

By: Joost-Pieter Katoen, Gilles Barthe, Alexandra Silva

Publisher: Cambridge University Press

No Review Yet

AED200

Binding:	Hardback
Release:	03 Dec 2020
Language:	English

Available

Ships within 10-12 Days Explain..

Model-Based Testing of Reactive Systems

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

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED225

Binding:	Paperback
Release:	27 Jun 2005
Language:	English

Available

Ships within 14-16 Days Explain..

Lectures on Formal Methods and Performance Analysis

By: Joost-Pieter Katoen, Ed Brinksma, Holger Hermanns

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED225

Binding:	Paperback
Release:	29 Aug 2001
Language:	English

Available

Ships within 14-16 Days Explain..

Tools and Algorithms for the Construction and Analysis of Systems

By: Joost-Pieter Katoen, Perdita Stevens

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED264

Binding:	Paperback
Release:	20 Mar 2002
Language:	English

International Edition

Ships within 10-12 Days Explain..

10.

Validation of Stochastic Systems

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

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED225

Binding:	Paperback
Release:	11 Aug 2004
Language:	English

Available

Ships within 14-16 Days Explain..

11.

Dependable Software Engineering. Theories, Tools, and Applications

By: Joost-Pieter Katoen, Jun Sun, Nan Guan

Publisher: Springer Nature Switzerland AG

No Review Yet

AED174

Binding:	Paperback
Release:	10 Nov 2019
Language:	English

Available

Ships within 14-16 Days Explain..

12.

CONCUR 2011 -- Concurrency Theory

By: Joost-Pieter Katoen, Barbara König

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED178

Binding:	Paperback
Release:	26 Aug 2011
Language:	English

Available

Ships within 2-4 Days Explain..

13.

Foundations of Probabilistic Programming

By: Joost-Pieter Katoen, Gilles Barthe, Alexandra Silva

Publisher: Cambridge University Press (Virtual Publishing)

No Review Yet

AED0

Binding:	Digital download and online
Release:	18 Nov 2020
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

14.

Foundations of Probabilistic Programming

By: Joost-Pieter Katoen, Gilles Barthe, Alexandra Silva

Publisher: Cambridge University Press (Virtual Publishing)

No Review Yet

AED0

Binding:	Digital download and online
Release:	25 Nov 2020
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

15.

Principles of Model Checking

By: Joost-Pieter Katoen, Christel Baier

Publisher: MIT Press (MA)

No Review Yet

AED0

Binding:	Digital (delivered electronically)
Release:	31 May 2008

Out of Stock

Notify me when this book is in stockNotify Me

16.

Validation of Stochastic Systems

By: Joost-Pieter Katoen, Christel Baier, Holger Hermanns, Boudewijn R Haverkort, Markus Siegel

No Review Yet

AED0

Binding:

Digital (delivered electronically)

Out of Stock

Notify me when this book is in stockNotify Me

17.

Validation of Stochastic Systems

By: Joost-Pieter Katoen, Markus Siegle, Christel Baier, Holger Hermanns, Boudewijn R Haverkort

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED290

Binding:	Digital (delivered electronically)
Release:	/12/2004
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

18.

Principles of Model Checking

By: Joost-Pieter Katoen, Christel Baier, Kim Guldstrand Larsen

Publisher: MIT Press Ltd

No Review Yet

AED276

Binding:	Digital download and online
Release:	25 Apr 2008
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

19.

Model-Based Testing of Reactive Systems

By: Joost-Pieter Katoen, Manfred Broy, Bengt Jonsson (Stockholm School of Economics, Sweden)

Publisher: Springer

No Review Yet

AED88

Binding:	Paperback
Release:	04 Sep 2008

Out of Stock

Notify me when this book is in stockNotify Me

20.

Validation of Stochastic Systems: A Guide to Current Research

By: Joost-Pieter Katoen, Christel Baier, Holger Hermanns, Boudewijn R Haverkort (Rheinisch-Westf?lische Technische, Hochschule Aachen, Germany RWTH Aachen, Germany Rheinisch-Westf?lische Technische, Hochschule Aachen, Germany Rheinisch-Westf?lische Technische, Hochschule Aachen, Germany RWTH Aachen, Germany RWTH, Markus Siegel

Publisher: Springer

No Review Yet

AED290

Binding:	Undefined
Release:	01 Jan 2005

Out of Stock

Notify me when this book is in stockNotify Me

Loading more results

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter