adicionar à lista de desejos
Relational Methods In Computer Science eBook
idioma: inglês
Editor:
Springer Vienna, dezembro de 2012 ‧
ver detalhes do produto
59,61€
10% DESCONTO
CARTÃO
TnpScGFVWlNhMkYyT1VSbmFtbGtXVmRRTDFOUEswcDFXbXRwY21sNU0yMVJVR056SzA4M2RYVlhhRTR6ZDFsVFoySmFaVVoxWkVwc2NFSjFUWFZCZDJWTmRrWkJXRkVySzNjNVpUUnpjSHBvZWpGbFQwaFZRMWh6YmxGUWIyTXJSVGRoTXpsWFRFMDRTV3BCVlhGblJYSldNbVpDWWtsbkswdEdhVkJqWWxJMVJqZE1Wa1ZTTHk5clVHaDRhelpSU1hjMFZXNUtlaTlXZVRkNldrVkxZbkIyV1UxS2JWSk1jaXMzYWs5dE1YRnlLMmxZZEVScU5raHRibk5zUTJSblIwSTJZMEV3Vml0cFZGTjNMemd6T1ZWT1IxbEZTMjFMTDFaNmF6RkNaMHRZVUV4UmQwUjRkalZZUzFwdlEybEdWVGRWVkdKbmRGRktZbFYwTDNBMmFqbEpXVU5sYXpGa2NGTTFXRXBXUld4M2VEaElORmxLUTJKQ2FVSnNNMk5XVldKYU9XZHhSV2R6TlU5MmFYZHNkbXBQU1Zwb1VFTnFjbEl5VGs1SVZVbDZWVGQzVkdWeVVFNUVUaXRQV25ObFZXZzRjVzB3WkZwdmFVZEJXRTExYWpaRFlYTXpjMDVQV1dFNFowRm9NelZXVWs1aFkzUlBZMlJ2ZEZsR1pVMXBObWw0WTFWQmMyMVpiazFFZVRsUWQxSTNTMmw1S3pSeVRXWnBUVmh6ZUVWVFQzZEZlbEJhUlc1cFJrc3JiVGRZT0U5cE1GaGlRV1ZCZEcxWk9ETkJWbWRzWTNoUGRYZ3dNa1pDVFdaMWVXMWpibEZaZWs5UVdtdHVRMnBEZUVWSVJGWnpiREl3U0hsc2MwMVBaR1pKWjJKNGVVOUlTa2REZVZoelNIVnhWbWRRTVZKdFVVMWhORGs0ZVZObVJuVjNXV3RMYUd4WGNsaHNRVE15TkRGcmVUQjRNbU5EUjNCeVdHOXlTVlZTWjNkdllrd3ZlbFF3Tlc1a1VYVjNSM1YwVjNvd01FZE1NamhpYm5SdkwwOXhiRmhZYzIxSE5sbFJORko2UnpGaGNuSmplRXRRVTNsclREWk1RMlF4Ym1rNFRHNWpOelJ4VVVOTVdtOVNPSEV4ZUU4MU9Ga3pkM1o2VDNBeE9WbGhTVzlYYVcwd1lYTkhWaTl0TTNSa2JWbGxZbkI1VldSdWFEVTRRbU5KZFdFd1MxVnFWazg1YVZKWlZFTnZjM0ZVT1d4WE1tOU9jekp6ZVhoQk5URnRRekp4WmtRM2FESjRhVk51TlZkVVdrVTNTaXN3Ym05cVVtTlNkekZWUFE9PTpHQW1EU1AwenZkTk9UVjFSb2ZUc2ZnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783709165102 |
| Editor: | Springer Vienna |
| Data de Lançamento: | dezembro de 2012 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Advances In Computing Sciences |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
eBooks em Inglês > Informática > Hardware |
| EAN: | 9783709165102 |
LIVROS DA MESMA COLEÇÃO
-
Tool Support For System Specification, Development And VerificationeBook10%Springer Vienna59,61€ 10% CARTÃO
-
Systems: Theory And PracticeeBook10%Springer Vienna59,61€ 10% CARTÃO