Kim Guldstrand Larsen

Kim Guldstrand LarsenKim G. Larsen is Professor of Computer Science at Aalborg University, Denmark.

13 results found
List viewGrid view
Sort By:
1.
Principles of Model Checking33 %
Available
Ships within 4-6 Days Explain..
3.
Tools and Algorithms for the Construction and Analysis of Systems37 %
Publisher: Etaps Society
No Review Yet
₹3,840
₹2,419
Binding:
Paperback
Release:
27 Apr 2021
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Tools and Algorithms for the Construction and Analysis of Systems37 %
Publisher: Etaps Society
No Review Yet
₹3,840
₹2,419
Binding:
Paperback
Release:
04 May 2021
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Formal Methods for Industrial Critical Systems37 %
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
25 Jul 2019
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Verification, Model Checking, and Abstract Interpretation37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
07 Jan 2015
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Reachability Problems37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
13 Sep 2016
Language:
English
Available
Ships within 12-14 Days Explain..
8.
Dependable Software Engineering. Theories, Tools, and Applications37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
17 Oct 2017
Language:
English
Available
Ships within 12-14 Days Explain..
9.
Tools and Algorithms for the Construction and Analysis of Systems1 % NR
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
27 Mar 2021
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
Tools and Algorithms for the Construction and Analysis of Systems1 % NR
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
26 Mar 2021
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
11.
Verification, Model Checking, and Abstract Interpretation1 % NR
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
09 Jan 2015
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
Reachability Problems3 % NR
No Review Yet
₹4,239
₹4,112
Binding:
Paperback
Release:
21 Sep 2016
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
13.
Reactive Systems32 % NR
No Review Yet
₹15,480
₹10,458
Binding:
Digital (delivered electronically)
Release:
17 Mar 2011
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found