adicionar à lista de desejos
Relational Methods In Computer Science eBook
language: english
Publisher:
Springer Vienna, December of 2012 ‧
see product details
59,61€
10% OFF
CARD
ZERGc1ptaElSakI0ZGxFNWFYVjBSbmhhVTFKM1l6SmFaWFV4UWxwa2FtZDRaVzlEZDFKa2NXRnhNVGhuYWtwU1RsTjJXakJxYW5rdlZqUndValpQWXpoc1lUZFhMMVJOY0RGTFp6ZE1XVmRwZUZGMGNYUnlSMDh6TWtOd1dWZGFhVzVWZWtaeFJqZHVNRWM0U1hObU16UjNiVU5oWWtsVVNqZ3lRVU5CT1ZCTVMzQkxNalJoT1RCRFVFd3ZaRmxMWlRKSU0yWmFlbTF2UjJWMWFYcFJkMmRRWmtOSlNVNXFMekJUZWpjelMxUlVRVVZXV0VFd2NsTkxXRGxaUW05dmRqY3ZNMjgwWjJndk1VVkRRbWQwVjBOUGFYcGhRM2xJUW1kUlpHOXJjM2xWTm1SQk5FZ3hjVTl5Y0hoc0wwa3JZVGQzU1NzMWVETXdPV1V2T1dwc1prNDJTa2hsZGs1TlQyRlhWRFpYWlcxdmNsWnVLMmRHUlhaUk0wMTNXbVpCWTBsU2QxQjRXakZMZEVKTWRFZGxUMjUwTW01WVQwRkVjblExVTFCV2RFMUJjM0JRTjNaeVJHTlBVVFF2VFZoeVZqTXliM2gxVm1sNlZIbEVaMVl5WWk5dWJqZHBWbUpJVFVwT2ExWTJaM1pOTUhNeE1qWlRLM3BKZEZFdk5YaDVZaTl0T0RkUVQxazNVVzQxTVhwSlNqSkdVakZKUVVKdFZtbEdZazAwYUhCU1lVZFJUbXcwUVZKSWNEUnpjRU4xYzJOcllrcElkM05PY1VsNU5qVTNVVTVCU0c5a2VWWnZSM1puUWs0eVRraHNlVGRtVXpRd1RqQXdSV2s1UzNoUE1UZHRXVEpxYW5OaWFXRnBTMlUyVEZGQmJVeDNNV0k1VjNjNFduWm9TbUZ0UWl0TlpHVnBlRFphVkRNNGQxVnRVbWc1Y0VGblRtMTNORWN4VG1OWlkzTTRURlZ2V0VSUEswVlJVbWhvVjFGb1ozQjVOMUJzY0hwUVVHaGhjR1pKV0VoUFdqRkxkVmx5TkVWek9VZDRTWFZpY0dFMFZWSk9aV2RJUm1kWWJUZHRhV0Y1TTJNMVJVdHlaRXh6ZDJOd1dqRlFha0p0WWpoamFXdzVUR1ZXV25Wdk1tc3lSaXROZEVaNWEyTndjV3RvU0hwaGFFeGhRM3A2VFVZclducGpXV3QyTWs5SE0waExUV0ZoYkVweVoyYzJOVk5PVWxSeWF6ZG1hVEphUlRsd1FXY3lRVFZDWTJoeFNURlRVMEpzVDJ0NGFtZEhUMDAzU0hKWGNtaHZabFI2ZUM5WlpESkhWMUJKUFE9PTpCSWdnZFBrQnh2RzFUVGpqcHdXbytRPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
The calculus of relations turned into an important conceptual and methodological tool in computer science. This book presents methods that include questions of relational databases, applications to program specification, resource-conscious linear logic, nonclassical logics for reasoning about programs, and more.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783709165102 |
| Publisher: | Springer Vienna |
| Release Date: | December of 2012 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Advances In Computing Sciences |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Computing > Hardware |
| EAN: | 9783709165102 |
BOOKS FROM THE SAME COLLECTION
-
Tool Support For System Specification, Development And VerificationeBook10%Springer Vienna59,61€ 10% CARD
-
Systems: Theory And PracticeeBook10%Springer Vienna59,61€ 10% CARD