adicionar à lista de desejos
Logic In Computer Science eBook
Modelling And Reasoning About Systems
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, August of 2004 ‧
see product details
72,88€
10% OFF
CARD
VDBOdE1WTkJSMHhNYlhST1RFMVJlSE4xTTFsVlN6SndVMHM0WWtFMk4yZExha2N2VEZBd1dHVk9hQ3QxTVhwSVlXaDJia2N3YldSeE1pdElkRk5UZDJFMU9GVnlNMU4xVW1ONlZGZEVRamRrTld3eVdYWmFaMElyYmpsbk0zZGFhVE01V21adGJISjJhVU14TVVOU1FYbElXREl2UW10SE0wczJUa3RWYlZvcmNIRkZhbmswVWl0QmJVc3JPRkpTTm5OTmFFZHNlRFZ1WldKQ1NURXpNR2RFUW5SUGJVbHpjWHB3UjBweldqRTRLMDkwVDBZdlRqZ3pjM05hY1RsVGIxUkVWRTFxVm01MVYwRnFUalJLVkZkMFZ6QndURWxKYlhwbWVWWlhPWGx2YnpoTk5rSnljRnB1WkRCMVkybHBObTh5ZFRFek5EbEZURzltYjFad1pqZzRNMFJtU0U1TFFURnZiMUoxY0c4MmJETkJTMVp5ZUdNMEsyOUxhbkF3VFVOS1dIUlBVVEpCVkU5TmVpOU1VekZZTTNWYVFrcHdZek55YTFOV1VWVjJkWEZuVVM5NlpYZzNMeTl3WlhCTmVrVjJaM1o2WTNVeGRIY3hObEpJSzFJelJGcDZRa05JUkVSU1QyOXZRM2RSTTBGMk5HSnBMMWs0VG1KeU1UZDFiRTR2YTJKeWMxWk9TVlpGWjFOblMyNDFRMVUwTlZacmVGZFNlbGg0VkV4MVYwVTRiRTVGTURoVlZDdEZhMHBxVTBaT2VYSjJTR05OTkdkbFNrZFJkVms0UWtVNVMwVXdjbkIzV2twU1EzUkdObkJOY0VSR1dIVlJkVEZrTmxKME5rUldVWFEzT0hvdmFqWlJlbXhCZEUxMldIQjNWR3AxTlZSUGRYUmlNMkptUnpBd1oySmtXRVV6YWt0WFUyTlZNVk5yT0Vac2RrRlBWVmQyUjFSaVEwOWFSM3BMYkZSMFNsSnRkV05pYm1wb01GSmhUa1ZTVWtvd1VTOXNhRWd2SzFSTU0zbGtWSEF6V2tSU1RHNTBSelY1V2toMVpEY3hjMVZSUkdOM1FXNDVWRkIzWkdWTWRWUTNUMHBqVEVadVJHazFaVU5wWWxKTFpGZERWMkYzYmtSaVJURkNWRGhqZEVGME1HTjRjR28zV21kNEswMURUbVp1VXpKTldDOXFTRmRTYlc5T2RETkVXakZKUW5jM1pFSm9iRVJGWkVSV09VUmFhMk55WkV3NGFFVnBiVk5UYkVaSVJIcFlWbmRWUnl0WmJtVllhR2N6YzNkcVkyRkdRMEZLVUhGRWN6TkliSEZuUFE9PTp1OWtJMlZENUh1TTBUS1RldnRWeU1nPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
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: | 9781139636131 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | August of 2004 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | |
| Categories: |
eBooks in English
>
Computing
>
Other Applications
|
| EAN: | 9781139636131 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |
-
Mathematical Foundations Of Advanced InformaticsSpringer Nature Switzerland AG26,49€free shipping
-
Wildwood Tarot30%Headline Publishing Group23,65€
33,79€free shipping -
Wild Magic30%Headline Publishing Group12,29€
17,56€free shipping