adicionar à lista de desejos
Set Theory For Computing eBook
From Decision Procedures To Declarative Programming With Sets
language: english
Publisher:
SPRINGER NEW YORK, June of 2013 ‧
see product details
171,59€
10% OFF
CARD
Tm5SeGNXSjVSMDlsYzBsdlRrMW1Ra2xpUldSS2FWcG9hemN2Y2pka1dXSjNLMkp1UTNaaWFGVXpPSHAxY0habVJUZGFZMGc1VEhwRWJtUTNURWx5ZEZOS2VrRXZMMUk0U1dOTVIzZEVORE5wUlZGS0szQndlVkJCYURSblJIRjZkbUZxY2tnek4xbGtZMnRaZEZCTmIzUk1OVU5QWW5ObWNGZDBOMGhMTjNweVJVUkZka0kyUjNOU1VFOXlhems0YTFaeGFUZEplaTlTZGxaa2RYbDVSWFp6ZUhRMGVUVm1haTlFVDA1cE9XNVJUbW8yVlhSM1ZHVTVjWG92UW5SeU1HRXpiVXB3T1VoSE5HdHBUREZxT1hGdFZrRnVTR2hWUldwTWFWbDRSMFJSZUZoRU5ETlBlRkl2ZWpobldqUXhVSEJTUXpGU1kxRnFVazluVlVJMmRGZHNlRGxMUVVadFdEVjVjbGRTYUhZeVVXaHhNa3cyUjJObFNYTk1RV1ZUVjA1aWRWZEtXRGx6Y0hWVVdUWlJRVTl0VlVwUWMzZG5OekF5TkdWamNHSmljVkZzU1VoVUsycEZNbXBsYjFGWlozZFBORGxuT0ZkU1dsaERTbVl6ZFZOM2JGWXhOR001WVVWaGJEWm5Na1JQYkRoeGMySTNSMGxXU2k5b1JFeHhia2w1VWtZMWJYazJWWEJyTnpGVE1UUkxVMWxQUXpsblMweEdNVkpTU0ZKelEzaFZjVGQ0Ym5jdmQzaERiRFpVVldnNE9EWkhSRGxCVmxCaWRFWmtaRGhTWjA1VlMwMU9WbU5qVUZKWlRYbHBWRTFJTmtvcmNFRjBVakJNY0dwQ2IxSjRRamhsUTFSVk1YUXpjekU1WnpaS01rUkRaMEZXVDNaNE9XVjZOalIzU1RJM2NVZEVZMUZDYkRWNVkyTlBOaXRYVG1zeUszQk1UWFp1VmpkQ0szazJlbmg0UkZkdmQwUlpRbGRrYUhCTldIbEllbTUzTjNSRFUwWlRZalptYVRKeWNGTjJTVlJaYVdGbVNHVlFiUzl6Y2pCYVZ6VnNURGxzYm1kaGQwRmhjM1pxUTNvd2FVNURTa0kzUzJKM05XeHRkbHB3ZUdGUGVWaG5RVXh3VjJkbmNUVmFVSFpOUWtScU9FaHFlRkJxZFd4NGRraDFTRVpXV0cxSlYxbEdabXA2U0hvdlJVOXFPRFUyV2twU1pHOXhlVmxUYTFWb1lqRTNkR2hOTnpsMlIwWXhZMWxLZFcxc1ptNVlPREo0TjI4dmJHSXpZVlZqYkc4eE5rdGphakJ6UjNVM1JVRTRUMFZ2UFE9PTpHTlVNb1Nuak0xOENab1VLeHJhZFZRPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Presents a comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781475734522 |
| Publisher: | SPRINGER NEW YORK |
| Release Date: | June of 2013 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Monographs In Computer Science |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Computing > Other Applications |
| EAN: | 9781475734522 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Complex AnalysisSpringer Berlin Heidelberg23,84€ 10% CARD
-
eBook10%Algorithmic Language And Program DevelopmentSpringer Berlin Heidelberg59,61€ 10% CARD