adicionar à lista de desejos
Logic In Computer Science
Modelling And Reasoning About Systems
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, August of 2004 ‧
see product details
74,35€
10% OFF
CARD
V2tvdmQxSk5TM0JJVUZWWGJqQlZkbGRQVUdwUVVFRjJZbVZwYTJodFYydEZaemhpTTNJMVRUUXZTMnB2VmxkalRrbHJTbGRETTFvclpHRlZWek5oV25WelYzRmhWRmM0ZW1SUWJHcE9iQ3QyY0dWcVEwZDBhVVJwTm5Ca1ltUllNekpZTDA1WVFrTnFlR3B0YzJoMFJqWnZkR2RKZGpWbVVIcHBaM1pqWldSRkwybHZNazlpTWt0d1JIaDNWbVZ3Tm5CbVNIcFNkRWxJY1RoaFFUZFRVMFUyUTFGVFduVTJRMWxRZEZoS2NESlVlRmhFT1hOVWR5dFVPVlZLUW5oeVFtWTBibkpwTkM5aGQyZ3pkbWt6V2trd2NDdGFRbTFWYmk5emVVUXhkVGxIYjNoT2JrTjVhRlJUTjBzelduazJPSE5FZW5OVFdXSnJNMnRuUnpWdGVVVkpiREJ0UkN0NmJWRnJSbXAyVjNCdmJYcEdaMkpUY0hKbk4wVkdXbkEzVHpjeFJVZDNTVTFsVUVSVFQwazRjelZ4Y2xSelR6VlVUazlHWjJKVlUzbHpaUzlGT1ZabFpuUXhia0oxVDBwR1JrUnRUSEpUTDJ3NVRrUk5PRzA0SzFkblNYaDVSalI0V1hKNWEzVklRakZuV1VNM1QwbE5jV3BNVjB3NWVHNURWVU5XWjBRek4wUmlSRmd3WVRGc1ZFTjZTM000YjJOQmIzSXhaRkV5Y2psdlVuVkZRMVJqV1ZkeGFIQnFSM1ZMYzBGaldXNVJVM013TmsxQ2FpdHdhaXRWUjB4S1NYRXhZbTFMWW1sMlZDOVpUVWt4U1VGS2NrcERNSHBwT1hnM1lWWlpXVTFzTjBOTVpYYzNhRmgxYUZscVlURklWVE5FT0dsckx5OVRjVzlSYUV4UE5teHdZbmxHTlRKSmFtTjVURTEwTWs1MFp5dGlLMHB4ZUZoa00zcFpSSHBaU2tkc1ZtbHlWVTFIV0VwalpXNTJPRlUxTTAxRU5VVnJXblF6UzNwT1UyNDFTSFZrT1NzM1FVbE1abFV2V1RKeVdrbExlRXBaVldjNFozcDJOekpFWkdnclYzaFVTRkZhWVVGTVVIZDNlbXB0YkZOQ09WUkxSMFpCUzB0TFVURnRkR2MxV1ZCWWJFY3lXbE5CVERCbGJYZDNiMFYyVmtSS2MzUjZiMVJsY2xOdmNUZFhhaTlPVlRoUlFscGliRkpyV0dkcFR6bGFVMHhwY0dKRVNqUldXbkI2U1VkV2VUUnRiSFp6Ym5ORWVGUXhVVmhwYTJKMFdURmhVbGhVZFdKTkszTjJhMWhXVEZwSFJqaGhOaTlUVUdSd0wwdFFRamxPV21neFNEVmllVTl6TjNFNGVXWk5TakJvZDBScVJXTTNRVDA5OmkrSkRWTXgzdTl2dXRUTEJ0TE1Zdmc9PQ==
free shipping
Sell your book
SYNOPSIS
This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780521543101 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | August of 2004 |
| Language: | English |
| Dimensions: | 175 x 251 x 23 mm |
| Cover: | Softcover |
| Pages: | 440 |
| Format: | Book |
| Categories: |
Books in English
>
Computing
>
Other Applications
Books in English > Computing > Introduction to Computing |
| EAN: | 9780521543101 |
PEOPLE WHO BOUGHT ALSO BOUGHT
-
10%Fundamentals Of Machine Learning For Predictive Data AnalyticsMIT PRESS LTD114,91€ 10% CARTÃOfree shipping
-
10%Web Analytics 2.0JOHN WILEY & SONS INC44,61€ 10% CARTÃOfree shipping