adicionar à lista de desejos
Specification And Proof In Real Time Csp
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, Janeiro de 2012 ‧
ver detalhes do produto
74,35€
10% DESCONTO
CARTÃO
V1ZGNlFTczFNbWQzU1d4dk1FUlZla05EWkVKcmNuUklOR1Z3Ym1sVmJuRlBZVlIxVUU5QldsaHNZMnhvUVVaRVlYTmpNbG95WlhSQlkxTndPVzVvVEdOR2RUaHJaRk1ySzNwVlduWXliekYxV2pWa05XZEJRMlYzZWtaMll6TnRTbmswTlhaMGJGUTNkRmM0ZGtrNVUwVTVZVUp3YkdoTmNqa3dRV3BTUW5CSmMyWmphVlZYZWk5a2JraERPRUpzVlRWSFQwRlFha3RoYTNaQ1MxcHJSaXNyZEU1S2NERktVRzFYVmpWeVRITkpTVGxXV25KWU5VNUZNRlJ0YzFCMGQweHRTbmM1YjB4amQxbzBUMmRZVVc5QmJWbHRPSGx1ZFhaR2FHWXpVRWhPVEhOaVpWVTFhRFZGZVRreVJ6UndVRzFDTm0xSFkwMVVWVlp3UlZwTFFVVTJXRzFhYWs0emQwczFiemg0WmpsdmJtVjVOVTVpVWxSeldIaEJiVGRLT1Zrd1JXbFZhVEl3TkRCbldrTXJXa2R0ZFV4U2FXSm5lbmhhVjI1WmVtRnBUbnA1YkdKQlltdHVaVEZoUlVWWU5tMWFhekI1VkcwNWFHZ3hhazlqUjI5b1prcDNXRzVSYnpJNVJFb3pURmwzYTNSb1lUaEthMGRJYUVocmVpOUNWaXRKVlVkQk1EQmtTbVk1YkVKR2VHOVZiR2RHYkM5dlZrbEViVzhyU20xa2MwVjBSVXRNYVZSMlFVWlRiVmxVYkhabFNrNXJORnBLWTBvdlJHSjFjV2RDTVM4eWVrVTJUelpGWXprMmVVcDRObkJTVTFWek5ERk5OMmR4VW5aek1sYzNURTVoV1RGcksydE1TR05SU0ZkUVVXc3hNM05CUm1wcWRWaGlWMVF2WldwTlVqZzFRemQ0Y3psS1VVWnRTRTQ0UTBWa1QxSnRRM0I0T0ROMWQwOVZVV3BuUjFOU2NYbGFNa0pSWTI1Nk16VlZWRXBDUW1WWFlrWXhTVk5SVFdOQ1RVNHhkVU42YlZocGVGQlVNbEoyWWxvdmIxUTNWVWxvWkU1QlEybDJiR0Z2YTNsWmVsSkVVMmc1YmxsdmJtUlVWek5HZERnNWNuSlRMMWhHY0hwd1JXOWpTbUZTVGpKMVNVNVNPSEZyWVhwUk5qWkVTMDl4SzFWVWFFZHdia28yWVd4NGQyNHhVbU5hVjBNNVZXazNZeTgwTHk5d2VUTllOMHhoTlZSd1UwTnpXRVlyVFZVek5WUm9ZamQ0WVRodmJHSjFUMGhtV1dwbVdFVktaRmt2V25SR01ucHBia3AxSzNsWGNWZDRUVkZMVjJWdFJqQm5hV0pLYVcxdFIwVm5kSE5KT1d4YU1WZERRV1F3VVRoUE5ESkNXamRrVUVkRU4ybzJNbU5PVEdGWVNsRm9kRkoxT1VoUllrNXljekE0VW1oc1RTOHJReTlPYjFWRGRBPT06ZTEzZWdLN0lpb1lUZlVicWVBcmcwdz09
portes grátis
Venda o seu livro
SINOPSE
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781107403864 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | Janeiro de 2012 |
| Idioma: | Inglês |
| Encadernação: | Capa mole |
| Páginas: | 200 |
| Tipo de produto: | Livro |
| Coleção: | Distinguished Dissertations In Computer Science |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Outras Aplicações
|
| EAN: | 9781107403864 |
LIVROS DA MESMA COLEÇÃO
-
10%A Modular And Extensible Network Storage ArchitectureCAMBRIDGE UNIVERSITY PRESS52,72€ 10% CARTÃOportes grátis
-
10%Three-Dimensional Integrated Circuit LayoutCAMBRIDGE UNIVERSITY PRESS58,13€ 10% CARTÃOportes grátis
-
Specification And Proof In Real Time CspCAMBRIDGE UNIVERSITY PRESS148,71€