Wies Thomas Wies

Wies Thomas Wies

10 results found
List viewGrid view
Sort By:
1.
Programming Languages and Systems37 %
No Review Yet
₹3,840
₹2,419
Binding:
Paperback
Release:
18 Apr 2023
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Networked Systems37 %
No Review Yet
₹5,280
₹3,326
Binding:
Paperback
Release:
07 Jul 2023
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Verification, Model Checking, and Abstract Interpretation37 %
No Review Yet
₹8,640
₹5,443
Binding:
Paperback
Release:
14 Jan 2022
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Automated Verification of Concurrent Search Structures37 %
No Review Yet
₹5,280
₹3,326
Binding:
Paperback
Release:
01 Jun 2021
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Verified Software. Theories, Tools, and Experiments37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
18 Jan 2018
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Programming Languages and SystemsNR
No Review Yet
₹4,365
Binding:
Paperback
Release:
18 Apr 2023
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
8.
Automated Verification of Concurrent Search Structures27 %
Publisher: Morgan & Claypool
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
9.
Verification, Model Checking, and Abstract Interpretation1 % NR
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
26 Jan 2022
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
Automated Verification of Concurrent Search Structures29 % NR
Publisher: Morgan & Claypool
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