Buy books written by Thomas Wiesel Available at Bookswagon
BooksWagon Icon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Thomas Wiesel

Thomas Wiesel

5 results found
List viewGrid view
Sort By:
1.
Programming Languages and Systems
Programming Languages and Systems
By: Thomas Wies
Publisher: Springer Nature Switzerland
No Review Yet
AED464
Binding:
Paperback
Release:
18 Apr 2023
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
2.
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
By: Bernd Finkbeiner, Thomas Wies
Publisher: Springer Nature Switzerland AG
No Review Yet
AED1,011
Binding:
Paperback
Release:
14 Jan 2022
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
3.
Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
By: Andrei Paskevich, Thomas Wies
Publisher: Springer
No Review Yet
AED578
Binding:
Paperback
Release:
18 Jan 2018
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
4.
Automated Verification of Concurrent Search Structures
Automated Verification of Concurrent Search Structures
By: Nisarg Patel, Dennis Shasha, Thomas Wies, Siddharth Krishna
Publisher: Morgan & Claypool
No Review Yet
AED616
Binding:
Paperback
Release:
01 Jun 2021
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
5.
Automated Verification of Concurrent Search Structures
Automated Verification of Concurrent Search Structures
By: Nisarg Patel, Dennis Shasha, Thomas Wies, Siddharth Krishna
Publisher: Morgan & Claypool
No Review Yet
AED791
Binding:
Hardback
Release:
01 Jun 2021
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found