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
42,57€
30% DESCONTO
IMEDIATO
VWtzelZWZFdZVU54Wm5kQmFXTjJkbmhNZUZRck0ycGxSM2RWVWlzek5sQXlia1YyY1VjckwwNXdRbm8xTkZKWGRsUlNTVEZxTlVWNlRFeHhNak5tTW5CTmJYUmFZak5UZEZWNVIwOXNRM0pVT1UxcGVtNWhhREYxT0hFeGNFOWtUVnBGWldSNUwyRlliV2RWYmxwSU1qZDBiMjFMTjFWNmNuQnVXRWcwYlVGRWEzbFdNR2R1Yml0RFkyUXpWMnBxVlRKR1luUXdXVGRpYlUxQ00yTTBXalZuYlU5UmREZzRjVFpRZW5Sek5GWTJSWEE0UVZwSlEwNVhMM1puTWt4T2NtWkRZWEJLTjBzNUt6WkRTSGhYTVVzeVp6Wm9XVGRDTTJrd2JqVmxjMGg2WVVKRWQyaFVVVTVETlVobE9WUXdWSFJMYTBGVGRHUllTMUpSZWpndlZUbGxXbVZ4Y0ZadFRrbFZZazFNVlZGMU4wTnJRMDlMYjNob09IaFRlV2h6V0hKMVNVSk9NMGRMY0ROSVZTdHdjRzU2Y21sWk1VeFRVR2d4VFZWMVoxVm5NV053ZDJ0QlVsQjVaMmxZVEdOd01GWTNiRWhPWVc1RlVXUTBTRGs1VVVWTVduZGljbVpEVlVsdlVHTnFRbnBTV2pZeWEwbDJPSFJQVlhkbVRrc3JZa3czYTNob2VtaHZUMUJCUjFvMk1sSkNRbVJ2WTBaM00wOHdkMDFyVFhaUWMyaE9SamM0TTFOeFlUSmtZbGtyTkdGWGNrMTNjWEkwY0hCelVIUkVhWGxwUW01cmJYWlBSbEExVjA4clRGRnZZVEZ0ZEM4NWNrNVdSME5TTkRST04wVnNSMUJoZG5WMWJsQTVWbkpwUVRoclZVRTBjVEo1Vkc0NVpHSndiWFJzTjBONFRXMDVVMFk1UWtsVWNFOXJVVkozZDNocGIwZFFNaTk0ZHpkV2MwVlJTWEZuVjJweFNVc3dRWEE1Y0dVM1NGUmhUVGR6Y1ZaaldFSnJVRTFpTVZFdldUQm1WakJ1V2xGbE1HVk5kVXRWTWk4eEswNUdZM1YzU1ZCck9WQkZWeXRHVTJSUWJsa3ZNVTUyVG1KNGJsTXhObWcxVkZOMFVUQXdhMUpKZDI0MWFuQnNWVWhSTlVwUmJXbGxSSGxUUzJOQ2MzYzlQUT09OjJoTmZOS2tqa0lCZHF5Wm9jbWdxcFE9PQ==
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
-
Compressed Data Structures For StringseBook10%ATLANTIS PRESS59,61€ 10% CARTÃO
-
Constraints Meet ConcurrencyeBook10%ATLANTIS PRESS59,61€ 10% CARTÃO