adicionar à lista de desejos
Logics In Computer Science eBook
A Study On Extensions Of Temporal And Strategic Logics
idioma: inglês
Editor:
ATLANTIS PRESS, julho de 2013 ‧
ver detalhes do produto
59,61€
10% DESCONTO
CARTÃO
T0ZsamJFZGhNRTFDU0ZWVk5EUkVTM0k1YjJkVFZtOHhTbXcxWW5SUFRXVnNiMHh3VmpKWk5GcGlUalZ5UldkQmIwdzJlWFpUUW5Oc1VYSmxXVlkwTkVkeGF6a3pTMGxtUlZCWFZFbDBSbTAxVWpSRFEzTXlPVzV6WjFWSVQwZFdaa2hJY1VwbFlrUmpkM1kyWkV0UFp5dDJjRkZhTVdKQlMybEJabWgyV0daUlZ6aHZRbXRzU21Ga2RUbHlUVVp3ZUV3d1R6WnROVFJFV2tKNk1scHFNbUpxZG5KRWIyd3hObUpSWjFKMldtWjNhRUp2TVZwYUwwNVFjemhhYkZFMk5ucHNSRXBVTm13MGVuQkVWVEZQU1RsUk5GVk1TMmRzVWpZeGRGTkVjM0owUVVoMlR6WmhjVUYwZVc1aFkzbG1jMFpwV0RkS1ZWWTFaRVJMZVhZeVNFRXJNRVptVUdZdlpYTkhPR1ZoWVRBeVdtbENSM2cwYVZObU9VRjRaMDFuY0hOeloyaFpja3RCY2sxdU9HaFhUa041TVVWaWRHWkpTMFUzUTI5WEwwNXpTekJwUkhOdGRqSkZOazFLVFN0WVRYZHBTR1phVjBaamIwczVVbkIxYUcxTWRqWXlVMUJRVTBsS2NVa3JOMGsxWkhCelNsRldZMFl6YTJ3NGQxWlZLMjl6ZWtsbFlWaHRTa1kwUldReGMzQm1lVXd3V0d4TGVXVnNPVTFKZW1RNU9DOVlNRVJ5Ylc0MVdVTkhhMnB5VkZJM1dVVnZka1ZJTm5wQmJVaEpXbGx5V2pRM01HWlRWek5xTjNweFpUVnZPR0UzTkhveFNpOXhSVXQ1WkZweWVrOTVXbHBNV1dScGFVMXJlRXd3VjFCUE1XZFhhamh1UTFadGVEQTFXSEpoVlVFMGNWWXdiSGRITVRkNFJHTktXVzVLYzB4S2JtYzNXVXN5VFhCTmVXeHNhbWRHWXpSTU5FRm9SMWN5TVRVMmRtTllOMFI1T0ZkMVlrbFNUVEphYVd0R1pIWnhNWFJ5Y21Kc1ZtTlNLMVpxY21KUFJtcEhZMHRKT0dReGVqQndhelpsY21NMFVYWmxUVGR0UjBJdlEybG1SRmNyVUhwa2NsaElkRGN3YjBoWU1rRkdTbGhEV2s5amRucEJOMkZ4U1VwM1JVcG1ibmhUTnprdmNuTkJWR2d4T1hkRVFVTkZjMlJDYzFSWlRHUkdiMlJ0ZUVvNFdUWmhWRVo2VVUwd1pYRjRNVzAyYkVRMll6aEZZVXBDZUhSYWJsWXpTbkJQWmxKNFRFRnphVzFMVFZGYUt5dFhWMVZyUFE9PTplUDNzbEkwZVBJQ1N4V2JzYk85dVNRPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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: | 9789491216954 |
| Editor: | ATLANTIS PRESS |
| Data de Lançamento: | julho de 2013 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Coleção: | Atlantis Studies In Computing |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9789491216954 |
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
-
10%Logics In Computer ScienceAtlantis Press (Zeger Karssen)60,82€ 10% CARTÃOportes grátis