Lets Explore,

Medical Exams
Manga
Award Winners
Featured Authors
Today's Deal

Vidya AI

Company

About Us
Career
Blog
YT Featured Video
Contact Us

Policies

Privacy Policies
Terms of Use
Secure Shopping
Copyright Policy

Help

Payment
Shipping
Return
FAQ

Misc

Affiliate
Sitemap

Download Our App

Copyright © 2026 | Bookswagon.com | All Rights Reserved

BW

Filters

Above Rs.2000(14)

Below 100(1)

Kim Guldstrand Larsen

Books by Author

Cover of Principles of Model Checking

Principles of Model Checking

Joost-Pieter Katoen

₹14100.0₹9301

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Akash Lal

₹5599.0₹3476

Cover of Reactive Systems

Reactive Systems

Luca Aceto

₹12545.0₹11066

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote

₹4479.0₹2781

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote

₹4479.0₹2781

Cover of Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Kim Guldstrand Larsen

₹5599.0₹3476

Cover of Reachability Problems

Reachability Problems

Igor Potapov

₹5599.0₹3476

Cover of Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Oleg Sokolsky

₹5599.0₹3476

Cover of Reactive Systems

Reactive Systems

Luca Aceto

Cover of Principles of Model Checking

Principles of Model Checking

Joost-Pieter Katoen

₹6883.86₹6678

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Groote Jan Friso Groote

₹4323.15₹4237

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Groote Jan Friso Groote

₹4323.15₹4237

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Larsen Kim Guldstrand Larsen

₹4323.15₹4237

Cover of Reactive Systems

Reactive Systems

Luca Aceto

₹15480.0₹10249

Cover of Reachability Problems

Reachability Problems

Potapov Igor Potapov

₹4323.15₹4237