Hello, User
Log in
New to Bookswagon?
Sign up
Your Account
Personal Settings
Your Orders
Your Wishlist
Your Gift Certificate
Your Addresses
Change Password
Currency
AED
AED
Log out
0
0
Books
New Arrivals
Box Sets
Best sellers
Fiction Books
Award Winners
Featured Authors
Today's Deal
Request a Book
Art, Film & Photography
Architecture
Industrial / commercial art & design
Music
Performing arts
The arts: general issues
Art treatments & subjects
Language, Linguistics & Creative Writing
Language teaching and learning
Language: reference and general
Biographies & Memoire
Biography and non-fiction prose
Fiction and Literature
Adventure / action fiction
Biographical fiction / autobiographical fiction
Crime and mystery fiction
Fiction: general and literary
Sports fiction
Thriller / suspense fiction
Reference
Encyclopaedias and reference works
Interdisciplinary studies
Library and information sciences / Museology
Research and information: general
Society and Social Sciences
Education
Politics and government
Warfare and defence
Business and Economics
Finance and accounting
Law
International law
Laws of specific jurisdictions
Medicine & Health Science textbooks
Clinical and internal medicine
Medicine: general issues
Pre-clinical medicine: basic sciences
History and Archaeology
History
Mathematics and Science Textbooks
Mathematics
Physics
Science: general issues
Religion, Philosophy & Sprituality
Religion and beliefs
Sciences & Environment
Earth sciences
Geography
Regional and area planning
The environment
Sports
Athletics, gymnastics and related sports
Ball sports / ball games
Combat sports and self-defence
Vehicle sports
Water sports and recreations
Science, Technology & Agriculture
Biochemical engineering
Civil engineering, surveying and building
Electronics and communications engineering
Environmental science, engineering and technology
Mechanical engineering and materials
Computing and Information Technology
Business applications
Computer certification
Computer hardware
Computer science
Computer security
Health, Relationships and Personal development
Mind, body, spirit
Self-help, personal development and practical advice
Lifestyle, Hobbies and Home
Cookery, Food & Wine
Handicrafts, decorative arts and crafts
Travel and holiday
Children's Books
Children’s / Teenage fiction and true stories
Teen & Young Adult General interest
Early learning
Login & Sign up
×
Books
Art, Film & Photography
Architecture
Industrial / commercial art & design
Music
Performing arts
The arts: general issues
Art treatments & subjects
Language, Linguistics & Creative Writing
Language teaching and learning
Language: reference and general
Biographies & Memoire
Biography and non-fiction prose
Fiction and Literature
Adventure / action fiction
Biographical fiction / autobiographical fiction
Crime and mystery fiction
Fiction: general and literary
Sports fiction
Thriller / suspense fiction
Reference
Encyclopaedias and reference works
Interdisciplinary studies
Library and information sciences / Museology
Research and information: general
Society and Social Sciences
Education
Politics and government
Warfare and defence
Business and Economics
Finance and accounting
Law
International law
Laws of specific jurisdictions
Medicine & Health Science textbooks
Clinical and internal medicine
Medicine: general issues
Pre-clinical medicine: basic sciences
History and Archaeology
History
Mathematics and Science Textbooks
Mathematics
Physics
Science: general issues
Religion, Philosophy & Sprituality
Religion and beliefs
Sciences & Environment
Earth sciences
Geography
Regional and area planning
The environment
Sports
Athletics, gymnastics and related sports
Ball sports / ball games
Combat sports and self-defence
Vehicle sports
Water sports and recreations
Science, Technology & Agriculture
Biochemical engineering
Civil engineering, surveying and building
Electronics and communications engineering
Environmental science, engineering and technology
Mechanical engineering and materials
Computing and Information Technology
Business applications
Computer certification
Computer hardware
Computer science
Computer security
Health, Relationships and Personal development
Mind, body, spirit
Self-help, personal development and practical advice
Lifestyle, Hobbies and Home
Cookery, Food & Wine
Handicrafts, decorative arts and crafts
Travel and holiday
Children's Books
Children’s / Teenage fiction and true stories
Teen & Young Adult General interest
Early learning
New Arrivals
Box Sets
Best sellers
Fictions Books
Award Winners
Featured Authors
Today's Deal
Request Books
Home
Account
0
Wishlist
0
Cart
Categories
Close
Refine your Search
Availability
All
(42)
In Stock
(16)
Out of Stock
(26)
Shipping Time
All
(42)
Within 1 Week
(18)
1-2 Weeks
(21)
Over 2 Weeks
(3)
Source
All
(42)
International
(42)
Binding
All
(42)
PaperBack
(23)
Others
(19)
Language
All
(42)
English
(35)
Others
(7)
Publication Year
All
(42)
2024
(3)
2022
(1)
2021
(3)
2019
(3)
Others
(32)
Filter By Category
All Categories
Art, Film & Photography
Biographies & Memoire
Business and Economics
Children's Books
Computing and Information Technology
Health, Relationships and Personal development
Lifestyle, Hobbies and Home
Manga & Comic
Mathematics and Science Textbooks
Reference
Religion, Philosophy & Sprituality
Sciences & Environment
Science, Technology & Agriculture
Society and Social Sciences
Kim Larsen
42
results found
Sort By:
Relevance
Best Seller
Title - A to Z
Title - Z to A
Price - Low to High
Price - High to Low
1.
Computer Aided Verification
By:
Kim G. Larsen
,
Ed Brinksma
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED493
Binding:
Paperback
Release:
19 Jul 2002
Language:
English
International Edition
Ships within
12-14 Days
Explain..
2.
Principles of Model Checking
By:
Christel Baier
,
Joost-Pieter Katoen
,
Kim Guldstrand Larsen
Publisher:
MIT Press Ltd
No Review Yet
AED418
Binding:
Hardback
Release:
25 Apr 2008
Language:
English
International Edition
Ships within
12-14 Days
Explain..
3.
Reactive Systems
By:
Anna Ingólfsdóttir
,
Luca Aceto
,
Kim Guldstrand Larsen
,
Jiri Srba
Publisher:
Cambridge University Press
No Review Yet
AED374
Binding:
Hardback
Release:
09 Aug 2007
Language:
English
International Edition
Ships within
14-16 Days
Explain..
4.
Tools and Algorithms for the Construction and Analysis of Systems
By:
Kim Guldstrand Larsen
,
Jan Friso Groote
Publisher:
Springer Nature Switzerland AG
No Review Yet
AED205
Binding:
Paperback
Release:
23 Mar 2021
Language:
English
International Edition
Ships within
14-16 Days
Explain..
5.
Tools and Algorithms for the Construction and Analysis of Systems
By:
Kim Guldstrand Larsen
,
Jan Friso Groote
Publisher:
Springer Nature Switzerland AG
No Review Yet
AED205
Binding:
Paperback
Release:
20 Mar 2021
Language:
English
International Edition
Ships within
14-16 Days
Explain..
6.
Formal Methods for Industrial Critical Systems
By:
Kim Guldstrand Larsen
,
Tim Willemse
Publisher:
Springer Nature Switzerland AG
No Review Yet
AED249
Binding:
Paperback
Release:
25 Jul 2019
Language:
English
International Edition
Ships within
12-14 Days
Explain..
7.
Models, Mindsets, Meta: The What, the How, and the Why Not?
By:
Kim G. Larsen
,
Susanne Graf
,
Tiziana Margaria
Publisher:
Springer Nature Switzerland AG
No Review Yet
AED240
Binding:
Paperback
Release:
26 Jun 2019
Language:
English
International Edition
Ships within
12-14 Days
Explain..
8.
Automata, Languages and Programming
By:
Kim G. Larsen
,
Glynn Winskel
,
Sven Skyum
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED598
Binding:
Paperback
Release:
06 Jul 1998
Language:
English
International Edition
Ships within
14-16 Days
Explain..
9.
Verification, Model Checking, and Abstract Interpretation
By:
Kim Guldstrand Larsen
,
Akash Lal
,
Deepak D'Souza
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED256
Binding:
Paperback
Release:
07 Jan 2015
Language:
English
International Edition
Ships within
14-16 Days
Explain..
10.
Formal Modeling and Analysis of Timed Systems
By:
Kim G. Larsen
,
Peter Niebert
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED255
Binding:
Paperback
Release:
08 Apr 2004
Language:
English
International Edition
Ships within
14-16 Days
Explain..
11.
CONCUR 2001 - Concurrency Theory
By:
Kim G. Larsen
,
Mogens Nielsen
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED257
Binding:
Paperback
Release:
13 Aug 2001
Language:
English
International Edition
Ships within
14-16 Days
Explain..
12.
Computer Aided Verification
By:
Kim G. Larsen
,
Arne Skou
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED257
Binding:
Paperback
Release:
22 Apr 1992
Language:
English
International Edition
Ships within
14-16 Days
Explain..
13.
Tools and Algorithms for the Construction and Analysis of Systems
By:
Kim G. Larsen
,
Tiziana Margaria
,
Bernhard Steffen
,
Ed Brinksma
,
W. Rance Cleaveland
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED255
Binding:
Paperback
Release:
23 Nov 1995
Language:
English
International Edition
Ships within
14-16 Days
Explain..
14.
Dependable Software Engineering. Theories, Tools, and Applications
By:
Oleg Sokolsky
,
Kim Guldstrand Larsen
,
Ji Wang
Publisher:
Springer International Publishing AG
No Review Yet
AED256
Binding:
Paperback
Release:
17 Oct 2017
Language:
English
International Edition
Ships within
14-16 Days
Explain..
15.
Reachability Problems
By:
Igor Potapov
,
Kim Guldstrand Larsen
,
Jirí Srba
Publisher:
Springer International Publishing AG
No Review Yet
AED250
Binding:
Paperback
Release:
13 Sep 2016
Language:
English
International Edition
Ships within
14-16 Days
Explain..
16.
Agribusiness and Innovation Systems in Africa
By:
Florian Theus
,
Kurt Larsen
,
Ronald Kim
Publisher:
World Bank Publications
No Review Yet
AED178
Binding:
Paperback
Release:
30 Jun 2009
Language:
English
International Edition
Ships within
14-16 Days
Explain..
17.
Deep-sea Tanaidacea (Peracarida) from the Gulf of Mexico
By:
Kim Larsen
Publisher:
Brill
No Review Yet
AED172
Binding:
Hardback
Release:
12 Dec 2005
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
18.
Finding Our Muchness
By:
Patricia King
,
Lisa Larsen
,
Kim M Maas
Publisher:
Christianaudio
No Review Yet
AED70
Binding:
CD-Audio
Release:
14 May 2024
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
19.
Finding Our Muchness
By:
Patricia King
,
Lisa Larsen
,
Kim M Maas
Publisher:
Christianaudio
No Review Yet
AED134
Binding:
CD-Audio
Release:
14 May 2024
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
20.
Finding Our Muchness
By:
Patricia King
,
Lisa Larsen
,
Kim M Maas
Publisher:
Christianaudio
No Review Yet
AED204
Binding:
CD-Audio
Release:
14 May 2024
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
Loading more results
×
An OTP has been sent to your Registered Email Id:
Resend Verification Code
