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
ZUhkM0sySk9abVZ2TW1SdWJYWldLMkoyZUd0aldXRldSVmR0TldobU1VMXViMkpzU0dwTUwydDZlbXh1TkRVMkwxRklMMVFyU1dSVE9IZHNNeTg1ZDBaRU1uRkVVbnBvWVRGWlRWUjBjM0V6YW1NMEsxZEtTMjVHWXpKUU5FVkxlbTFuUmpoS1FVZzFZbGxqVm1kTlZURjFhSGxhVkZoSGFtRmtjbE5yY210SVpFaG9VblZYT1hGQlpucGtaaXRNVjNrcmMwUk9hMnRMUjNkNlVVbEtTM0l2TlVsWFMzVlFjelpQWlc0NFRtTnBjR2d2VlZOVVRVSXlibmxtVGxSeVNrRXZiMFpQWWpJeGQyZGFiMFVyV1hGSlozQjBVbmR5Y0VkS2MwaG5XazVXUjBwMlNIVlFORE5wTlZSaU5GRlFWemQySzNWelJYaFdVWFYxY2paclVraDJUSFJqVTNabVNWZEtTV2wxV0d0aE1FZzRjMjVUVm1nNFpITlRSbVZ4Y1ZJeGFGbzNhamRpV0ZWSmJHVnNRblJXVkRKM2EwdFdWRlUyWVhZNFkwWlFVR2RSTlZkelNIa3pURUZPVlZKc2VrWjRXR0pxVVZkS1NqUlpRM2hoTnpoU1JWbDZVRmhJZUM5TU5ubzFTM1JGVm1jeWMya3laMk40V2xoWFF6aGhSU3MyUlhkTVdXWk5jV1JFZWs5NWVrNUNiV3huVFZvek1tMDNiM1o2V1V4U09GRkpOVWw2Y1d0TFVqWk5aRUZUV2tJeVFrOXRkek5CVUhaV2N5OW5hV05TVHk5dk1XUm9RMWx1WjFkc2NFcDVWVXhQUVdGTFEzcHllUzlRT0dwdUwweDBSRzE1V25kWVlUWmxRbmg0TW5wS1RITm1RMGx0ZURKaFVqVlJZbUpwVkhWR05rcElUamN4YzI1a2IybG5OemRtUms1WlJFSmtXRlpxZVhOalVEWklaRk13ZFdsNlptTmliRGRqUlVGV2VGaHBUMUpLZEdWMlFrdEJkUzlIT1dabE1FUmhkV1FyWjJGWFpFWnFXblJQV2xCVlpHMVFWMWhrZFhsR1UxWm1SREFyVW5wM1pGTk1lVTB4U25weGNHdFRiRXg1WW1kMFNHOUROSGt6VTNKUWRuSjZSbE5pTVhrMFp6Z3dUMGxZVlhOdFlqWjRRWEZIVldwWWVrZFRUWEZ3TDNZM1NIWnpkRWhoYm5wdFltMXNRbEkxTVRWNmJuWTRNMjlET1ZwNlZtcGpRVkJYTUd0S1NXNWplblpKTURCelFsWXpLMUZqU0VGTk9USmthbFIwYWtOek1uZzNhVmhWUFE9PTpUU3JQMEZpZE43MEVIVTRQTHV0aEZRPT0=
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 |
| Formato e Compatibilidade: | PDF para ADE |
| 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
-
Compressed Data Structures For StringseBook10%ATLANTIS PRESS59,61€ 10% CARTÃO
-
Constraints Meet ConcurrencyeBook10%ATLANTIS PRESS59,61€ 10% CARTÃO
-
Logics In Computer Science30%Atlantis Press (Zeger Karssen)42,57€
60,82€portes grátis