Free Downloads Kim G Larsen Books

Showing 1 to 14 of 14 results

ISBN 10: 3540647813
ISBN 13: 9783540647812

01 Sep 1998
Kim G. Larsen
Download Automata, Languages and Programming by Kim G. Larsen

ISBN 10: 3540216715
ISBN 13: 9783540216711

30 Jun 2004
Kim G. Larsen
Download Formal Modeling and Analysis of Timed Systems by Kim G. Larsen

ISBN 10: 3540551794
ISBN 13: 9783540551799

01 May 1995
Kim G. Larsen
Download Computer Aided Verification by Kim G. Larsen

ISBN 10: 3540424970
ISBN 13: 9783540424970

01 Sep 2001
Kim G. Larsen
Download CONCUR 2001 - Concurrency Theory by Kim G. Larsen

ISBN 10: 3540606300
ISBN 13: 9783540606307

23 Nov 1995
Ed. Brinksma
Download Tools and Algorithms for the Construction and Analysis of Systems by Ed. Brinksma

ISBN 10: 3030223477
ISBN 13: 9783030223472

26 Jun 2019
Tiziana Margaria
Download Models, Mindsets, Meta: The What, the How, and the Why Not? by Tiziana Margaria

ISBN 10: 3540439978
ISBN 13: 9783540439974

01 Oct 2002
Ed. Brinksma
Download Computer Aided Verification by Ed. Brinksma

ISBN 10: 0387551794
ISBN 13: 9780387551791

01 Jun 1992
Kim G. Larsen
Download Computer Aided Verification by Kim G. Larsen

ISBN 10: 9400713681
ISBN 13: 9789400713680

15 Jan 2015
Jan Tretmans
Download Quantitative Model-Based Analysis of Real-Time Embedded Systems by Jan Tretmans

ISBN 10: 3662188864
ISBN 13: 9783662188866

12 Sep 2014
Ed Brinksma
Download Computer Aided Verification by Ed Brinksma

ISBN 10: 3662169096
ISBN 13: 9783662169094

15 Jan 2014
Kim G Larsen
Download Concur 2001 - Concurrency Theory by Kim G Larsen

ISBN 10: 3662165422
ISBN 13: 9783662165423

15 Jan 2014
Kim G Larsen
Download Formal Modeling and Analysis of Timed Systems by Kim G Larsen

ISBN 10: 3662167816
ISBN 13: 9783662167816

15 Jan 2014
Kim G Larsen
Download Computer Aided Verification by Kim G Larsen

ISBN 10: 3662170981
ISBN 13: 9783662170984

15 Jan 2014
Ed Brinksma
Download Tools and Algorithms for the Construction and Analysis of Systems by Ed Brinksma