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)

Daniel Kroening

Books by Author

Cover of Decision Procedures

Decision Procedures

Daniel Kroening

Cover of Decision Procedures

Decision Procedures

Daniel Kroening

₹8959.0₹5644.0

Cover of Model Checking

Model Checking

Helmut Veith

₹7520.0₹5866.0

Cover of Computer Aided Verification

Computer Aided Verification

Daniel Kroening

₹5599.0₹3583.0

Cover of Computer Aided Verification

Computer Aided Verification

Daniel Kroening

₹5599.0₹3583.0

Cover of Verified Software: Theories, Tools and Experiments

Verified Software: Theories, Tools and Experiments

Dimitra Giannakopoulou

₹5376.0₹3441.0

Cover of Validation of Evolving Software

Validation of Evolving Software

Natasha Sharygina

₹5599.0₹3583.0

Cover of Validation of Evolving Software

Validation of Evolving Software

Natasha Sharygina

₹5599.0₹3583.0

Cover of Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Sharon Barner

Cover of Decision Procedures

Decision Procedures

Daniel Kroening

₹7149.0₹4504.0

Cover of Decision Procedures

Decision Procedures

Daniel Kroening

Cover of Decision Procedures

Decision Procedures

Daniel Kroening

₹4436.0₹3638.0

Cover of Computer Aided Verification

Computer Aided Verification

Pasareanu Corina S. Pasareanu

Cover of Computer Aided Verification

Computer Aided Verification

Pasareanu Corina S. Pasareanu