adicionar à lista de desejos
Logics In Computer Science
A Study On Extensions Of Temporal And Strategic Logics
idioma: inglês
Editor:
Atlantis Press (Zeger Karssen), agosto de 2015 ‧
ver detalhes do produto
60,82€
10% DESCONTO
CARTÃO
VW1SMU5qWnljWGhwWTNjMVFVOVBlVTlwVUZGVE5WVkpUMGxOUm1KSmVuQkdha3A1YUZkMVlraE1hMUpUZFhSMFRVTjNNbVl6TjFWMU0xQXJWVVIwTlZrMU0yaHdjbXhyTTBSb2R6TkROa2hOVlcxRVVVUnFTamxCZGtnNFpGaFNVbTk1UW1jcmMwWXJPV2R6VUdoU2MzWkRTR2hRU0d0WGEyZEVlRUp2Y1hadFpqRkJhVVkyVTNaQmFuVXdVMHR2V0c1RGVEZHFaRkFyUWtSYVN6TlNOWEJDY0VodGVua3JkM041ZERWQmJrNUpkbU50ZFRnemRXOVphWGhpYlU4eWVIQjZjRFpxVERrMEsyZHJXbGRVSzJ0d1pHOTVRVGcwYkdRNFRtRm5XVFZvUmpKSk1GSjVaMDlEYkVzck5IcEhSV3RxWjFWcU5VVTFNWEJEUlhNM2FEbGFhazVoT1RGTGNIQjZWazh2Y1VORFdra3hOVlEwVkdrME1sQkVVRGxvVUhaeVpFaEtaMHBwWTNWMU5WbFllVTEzTHpOVFNEaFpZelZ6WTJ0WVNGcGtObEIyTkRkNmNFaHFNV2swZUZweWEwUlRLMmt2ZG01UVNHVm1SV0poV21sdk9TOVdUM1JSVm5kaVpGQTFVVzFTTjI5dWIzcGFNMXBOZVdoWFdXSjVSbHA2TXpWQlNHZFhORll3Wlc5WlJqSnJSQzl0UmpoWFJXWlRla2sxTW5obVUxbHlOMnRLVjNkbVJVY3ZablZMVlhWSmIwMHlRMFpHWjFsalkwZERjbFp3U0VoSlRHZEJVbkpNYVZoQmEyUjNVMFJFWnpoVWRtdDJTRFZGYkRreU0zZzRZMnRYVVd4Vk5tRkZVVTgwY0hoWWRUVmhTRzEwSzFsbmRYWjJOa05ZU0ZsRmFtNWtkWGs1UVcxRWQxaHNWMDlvWTJFeWJXdFRaREpuVHk5T1pqVXJTVFp6TVZJclJTOXhTamRYUzBSS1VraENlVk5TUjNsb01GbDJURE0xTDFrNFNrNVZTbUZIUWxGNEwwOXVNazUwT0RkM1UyMWxjMVJuVTBJeVZ5c3lSMlIwY0VKQlpISkNNVlo1Y2pkaVlYWktNRGRWTm1ONlQyNTFORWh5WVdsWWNUSkNlblpZWWxsMFVteHZNVEp2VVVzNGJXOU9iV1pFZUZBMU1rRTNkWGxEYmxaSk5VaE1jVVZPZEcwd1pFOXNZM2xTZEN0YVVWZ3dRbGhvWVRCU2FGWktWV0ZoYzJsR1FVVXZNVlpNVTAxS05EVnRZVnBDYTAxdU5HcHZiVk5IWXpSNFdFNXZhQzlpVDBWcFYydFdiMjVPYURKVldqRkRTbXN3YW1aWmVWZFJObGRyT1dGMVJsQmlibGRRV2tkSlVGUlZSSGRvU3paeFpqaENjVFkwZEZsRU5WUTFWbVZ3Tm1relNtczRUVEpzWW5NNFVuaEdUMU5RYkRkbU1RPT06d0tUUnlsQS9KTGx5Rk94dksralUxdz09
portes grátis
Venda o seu livro
SINOPSE
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9789462390560 |
| Editor: | Atlantis Press (Zeger Karssen) |
| Data de Lançamento: | agosto de 2015 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 9 mm |
| Encadernação: | Capa mole |
| Páginas: | 149 |
| Tipo de produto: | Livro |
| Coleção: | Atlantis Studies In Computing |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
|
| EAN: | 9789462390560 |
LIVROS DA MESMA COLEÇÃO
-
eBook10%Compressed Data Structures For StringsATLANTIS PRESS59,61€ 10% CARTÃO
-
eBook10%Constraints Meet ConcurrencyATLANTIS PRESS59,61€ 10% CARTÃO