Free Downloads Joost Pieter Katoen Books

Showing 1 to 15 of 15 results

ISBN 10: 026202649X
ISBN 13: 9780262026499

01 Jun 2008
Christel Baier
Download Principles of Model Checking by Christel Baier

ISBN 10: 3540434194
ISBN 13: 9783540434191

Download Tools and Algorithms for the Construction and Analysis of Systems by Joost-Pieter Katoen

ISBN 10: 3319682695
ISBN 13: 9783319682693

Download ModelEd, TestEd, TrustEd by Joost-Pieter Katoen

ISBN 10: 3642232167
ISBN 13: 9783642232169

Download CONCUR 2011 -- Concurrency Theory by Joost-Pieter Katoen

ISBN 10: 303035539X
ISBN 13: 9783030355395

07 Feb 2020
Nan Guan
Download Dependable Software Engineering. Theories, Tools, and Applications by Nan Guan

ISBN 10: 3540222650
ISBN 13: 9783540222651

16 Oct 2004
Christel Baier
Download Validation of Stochastic Systems by Christel Baier

ISBN 10: 3540660100
ISBN 13: 9783540660101

01 Jul 1999
Jost-Pieter Katoen
Download Formal Methods for Real-Time and Probabilistic Systems by Jost-Pieter Katoen

ISBN 10: 3540424792
ISBN 13: 9783540424796

29 Aug 2001
Ed. Brinksma
Download Lectures on Formal Methods and Performance Analysis by Ed. Brinksma

ISBN 10: 3540262784
ISBN 13: 9783540262787

15 Aug 2005
Manfred Broy
Download Model-Based Testing of Reactive Systems by Manfred Broy

ISBN 10: 3540812113
ISBN 13: 9783540812111

04 Sep 2008
Manfred Broy
Download Model-Based Testing of Reactive Systems by Manfred Broy

ISBN 10: 3662181177
ISBN 13: 9783662181171

15 Jan 2014
Ed Brinksma
Download Lectures on Formal Methods and Performance Analysis by Ed Brinksma

ISBN 10: 3662193337
ISBN 13: 9783662193334

15 Jan 2014
Jost-Pieter Katoen
Download Formal Methods for Real-Time and Probabilistic Systems by Jost-Pieter Katoen

ISBN 10: 026226756X
ISBN 13: 9780262267564

Download Principles of Model Checking by Baier Christel Katoen Joost-Pieter

ISBN 10: 1280307870
ISBN 13: 9781280307874

01 Jan 2005
Christel Baier
Download Validation of Stochastic Systems: A Guide to Current Research by Christel Baier

ISBN 10: 3662183242
ISBN 13: 9783662183243

Download Tools and Algorithms for the Construction and Analysis of Systems by Joost-Pieter Katoen