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(11)

Helmut Veith

Books by Author

Cover of Model Checking

Model Checking

Helmut Veith

₹7520.0₹5866.0

Cover of Handbook of Model Checking

Handbook of Model Checking

Thomas A. Henzinger

₹15679.0₹9878.0

Cover of 25 Years of Model Checking

25 Years of Model Checking

Helmut Veith

₹3919.0₹2508.0

Cover of Handbook of Model Checking

Handbook of Model Checking

Thomas A. Henzinger

₹15679.0₹9878.0

Cover of Computer Aided Verification

Computer Aided Verification

Helmut Veith

₹11199.0₹7055.0

Cover of Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Andrei Voronkov

₹11199.0₹7055.0

Cover of Computer Science Logic

Computer Science Logic

Helmut Veith

Cover of Computer Science Logic

Computer Science Logic

Helmut Veith

Cover of 25 Years of Model Checking

25 Years of Model Checking

Helmut Veith

Cover of Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Andrei Voronkov

Cover of Computer Aided Verification

Computer Aided Verification

Veith Helmut Veith