mauricio ayala rincón author - Books - 24x7 online bookstore Bookswagon.ae
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

2 results found
List viewGrid view
Sort By:
1.
Applied Logic for Computer Scientists
Applied Logic for Computer Scientists
By: Mauricio Ayala-Rincon, Flavio L. C. de Moura, Flavio L C De Moura, Flávio L C de Moura, Mauricio Ayala-Rincón
Publisher: Springer
No Review Yet
AED518
Binding:
Paperback
Release:
13 Feb 2017
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
2.
Interactive Theorem Proving
Interactive Theorem Proving
By: Cesar A. Munoz, Mauricio Ayala-Rincon, Cesar A Munoz, Mauricio Ayala-Rincón, César a Muñoz
Publisher: Springer
No Review Yet
AED593
Binding:
Paperback
Release:
21 Aug 2017
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
No more records found