Buy books written by Xavier Rival 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

Filter By Category
Xavier Rival

Xavier Rival

6 results found
List viewGrid view
Sort By:
1.
Introduction to Static Analysis
Introduction to Static Analysis
By: Kwangkeun Yi, Xavier Rival, Kwangkeun (Professor, Seoul National University) Yi, Xavier (Research Director, INRIA Paris-Rocquencourt) Rival
Publisher: Mit Press
No Review Yet
AED558
Binding:
Hardback
Release:
11 Feb 2020
Language:
English
Available
Ships within 10-12 Days Explain..
Free Shipping in UAE.
2.
Shape Analysis
Shape Analysis
By: Bor-Yuh Evan Chang, Xavier Rival, Cezara Dragoi, Roman Manevich, Cezara Drăgoi
Publisher: Now Publishers
No Review Yet
AED907
Binding:
Paperback
Release:
05 Oct 2020
Language:
English
International Edition
Ships within 20-22 Days Explain..
Free Shipping in UAE.
Print On Demand
Print On Demand (POD) titles : are those which have been especially printed by the Publisher / Vendor partner only after an order for them has been received. They are also classified as Non-Returnable.
Non-Returnable titles : are those which have been classified as Non-Returnable under any circumstance by International Publishers / Vendor partners.
3.
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
By: Xavier Rival, Kenneth (EDT) McMillan, Xavier (EDT) Rival, Kenneth McMillan
Publisher: Springer
No Review Yet
AED593
Binding:
Paperback
Release:
22 Jan 2014
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
4.
Static Analysis
Static Analysis
By: Xavier Rival
Publisher: Springer
No Review Yet
AED593
Binding:
Paperback
Release:
31 Aug 2016
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
5.
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
By: Radhia Cousot, Patrick Cousot, Xavier Rival, Antoine Mine, Jerome Feret
Publisher: Now Publishers
No Review Yet
AED829
Binding:
Paperback
Release:
15 Dec 2015
Language:
English
International Edition
Ships within 20-22 Days Explain..
Free Shipping in UAE.
Print On Demand
Print On Demand (POD) titles : are those which have been especially printed by the Publisher / Vendor partner only after an order for them has been received. They are also classified as Non-Returnable.
Non-Returnable titles : are those which have been classified as Non-Returnable under any circumstance by International Publishers / Vendor partners.
6.
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
By: McMillan Kenneth McMillan, Rival Xavier Rival
Publisher: Springer Nature B.V.
No Review Yet
AED482
Binding:
Paperback
Release:
10 Aug 2014
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found