close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Thomas Wies

Thomas Wies

11 results found
List viewGrid view
Sort By:
1.
Networked Systems20 % NR
No Review Yet
₹6,874
₹5,499
Binding:
Paperback
Release:
07 Jul 2023
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
2.
Programming Languages and Systems3 % NR
No Review Yet
₹4,575
₹4,438
Binding:
Paperback
Release:
18 Apr 2023
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
3.
Verified Software. Theories, Tools, and Experiments36 %
No Review Yet
₹5,424
₹3,471
Binding:
Paperback
Release:
15 Dec 2017
Language:
English
Available
Ships within 14-16 Days Explain..
4.
On the Pursuit of Insight and Elegance6 % NR
No Review Yet
₹5,624
₹5,287
Binding:
Paperback
Release:
08 Jan 2026
Language:
English
International Edition
Ships within 18-20 Days Explain..
Free Shipping in India and low cost Worldwide.
5.
Programming Languages and SystemsNR
No Review Yet
₹5,048
Binding:
Paperback
Release:
18 Apr 2023
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
6.
Verification, Model Checking, and Abstract Interpretation3 % NR
No Review Yet
₹10,034
₹9,733
Binding:
Paperback
Release:
14 Jan 2022
Language:
English
International Edition
Ships within 18-20 Days Explain..
Free Shipping in India and low cost Worldwide.
7.
Automated Verification of Concurrent Search Structures7 % NR
No Review Yet
₹6,249
₹5,812
Binding:
Paperback
Release:
01 Jun 2021
Language:
English
International Edition
Ships within 18-20 Days Explain..
Free Shipping in India and low cost Worldwide.
9.
Automated Verification of Concurrent Search Structures27 %
No Review Yet
₹5,408
₹3,948
Binding:
Paperback
Release:
01 Jun 2021
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
Verification, Model Checking, and Abstract InterpretationNR
No Review Yet
₹4,323
Binding:
Paperback
Release:
26 Jan 2022
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
11.
Automated Verification of Concurrent Search Structures29 % NR
No Review Yet
₹7,107
₹5,046
Binding:
Hardback
Release:
01 Jun 2021
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA