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
TTFwbVREUkZMekJrZURNeFZrcElRamhtZEhKQk9IZFRiamhRZGxORk5HVmtZV3AxTVZCaEszRTVNMUpDVUVsUlIxWTVSblI1ZDNObWVtcGxSREk1WjBGVWRIQjRiVTlPYm1KNFZuVk5WVkJGYmpaeU1rWnpPWFoxYUVKS1ZTdFNlbEZVVmtwcVNGSkJlR2hzVlhneGVERjRlWFZHZUVKRmFYRkVXVlEzZW5aRFNIVjZTazVUVUdwVE4wVnZNemg1VjBOWE0waFZRMGhpWW5sWU1EVlVkRzlLUVZka1RDOUxkR1ZJY0VkTVRuRTNiRE14VVZjMFJHa3paREJWTmt4RFRqQkRTRVowU0ZRck0zbHFiMDlZUzJsUFdXaFRkbWw1YzNneVZtUXplblpPVlZsME4xWjVha0pwUjNGSVYxaEpZbU55VUhGTGQwbzJZVTkyUzFaeEszRkJWRTRyV0ZKTWNrRmFkM3AzTWpCbFQwTlFXbE5oYldoWllXVjJUbEUwYlRGUlZFMXBUa2cxV0RSMFJYWmFOV1UwYzA1S1FYbDRZbkl3U3paTllXcFhZVEY2TkdsUGJVdzFPRzF2UVRjeFJGSmxkVE5tTURFek5VbEJZVU54Y0VoT2RqZFRVa2w1TlVOemJYcHJOa1p2T0dsTVJ6TTVhRm8xU3l0b1duVnhZMnRMYlRkWFUydHBMMHd2VVdoblltODBhR1ZNYUhaTE5HaHZTR05PVUdsek0yaEtNMkZNVGpKWk0wUnNka3RpUTJOU1VqWlZkMnhxY2tsTFVqbG9NVFZrWldaV1RsZG5iREZNUWtwdldVMHlUV2hQU0RjMlFXdGhia3BHTDI5TmMwMWFjMEZYVDBGMWR5dG5XVkZhZW1JelNEbGpZbk40TTFSWFREaG5UMDlrWkVoemVGZHdNbEUzUTFCdGEweGlNRVZYVlhKTlJXaGlRWE5SZFRGWmIwYzJPRVZ3V25Wc1pUWllaRWRhUTBaQmIzSndiVmhQUkhSc1QyaElNbFpaWlRGRlZ6SkxUR3BvY0UxYVJ6TkhOVlExY2xka2RGQjNObVpPZGxWeGNscHpUa2cyVHpOUVQwaHRNREo1U1d4QmFXRkpNM1ZuV1RFd1JHY3hPVFI1WTJNMlNuRnZjbkphYW1wTmNqWm9ORFJvUlRGQ1dVdzFUWFJPTldkS2NqTTFNblFyUkVzdlEydGtValpEV0dVNVVtbDZlR05YYlRoU1kyaDBObkI0VFd4eVRVTXJPV1UxWlZGWUt6VlZZWGgzY1U5aEsycGtaRWhWVERVMWRXVlpNM1F6VVZGVFlrRlhWeXN3UFE9PTo1bUVoS3BoN09SMlcvckRuMkhLeVNBPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780511261589 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | August of 2004 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Categories: |
eBooks in English
>
Computing
>
Other Applications
|
| EAN: | 9780511261589 |