adicionar à lista de desejos
Logics In Computer Science eBook
A Study On Extensions Of Temporal And Strategic Logics
language: english
Publisher:
ATLANTIS PRESS, July of 2013 ‧
see product details
59,61€
10% OFF
CARD
Y25NNVdrWTBORTgxTDI5V1drbGtRbk5OTkZONFUycGFhVkJzVTBwaWNXeHZjSFozUVV0S1NsbGxiVkowTDJOMGRrRk5iMUpRVkUxT2Mwb3lVREZqWkU0MFNsSXhPVlJIVUc0elpISlhWV2R6YkcxQmVGRkRWbUp0ZW05cFoxbFdRMUZuYmxsU1lWTkhaVU5xVG5vMUwyMUNOa3hCVDB0QlRGVXhkRVJUWldwdE4waGxka3BNUTNOeE5sSmpjRXRzYVZnNFIyaEhhVTFPVVVJdloxVm5ZaXR5U2t0SFduRnplVXRtTjJ0NFNIUXdhbGRpUm1WYVZuTnhkVlJsTW1GUGFVVktWM1ZxVUZCTlJuVjJZWGQ1Ym5oM2RHSXpZMFk1VGpSMFJtTXphMWhPZG05cVYxUmtSV2N5UlZZM1RtTnJVMU16Tm5GSE1FSlRTbE5zZDI5eFFtbFRaR012ZUN0bk1qYzFZMVUyU0ZaUWEzVlJPV1pDTUVKc1RESXhlV2hrTHl0VldDdDZNSGRqU21adFlVa3dTMVYwYTNBdlJERnRUblJ4UkVad2RuSkhWa2RsV1ZOV1JqbDRTMDlrTUVSVmJIVk9TbTFuUm1kVFFXMTNNVWR2YWpONUwxUjBZVVY0YlU1TWJsUktSa3BOUjJaUmFHRTVRVzVtUWtGclJ6TmtVRlpyZERCbllVbHliaXRyVEVkeGVtTlhTVEpMYWtwMGRrOHJkVUpUYm5kNVVsVlJNSEo0UzBwcVNYWXJWWHBRTUUxNlVrRllRVmxUYmtKQlFVZGhVRFZaTmxOeGFGY3plR3N5VlROVkwwUTRXa1pGWVUxMVJrUndWMmQ1VmpKS2VEWnRObFZ6Vm01RVF5dGtjMHgzYW5JdlVGQmlUSGhVT1haSWFpOTRiVUoyYlhKa2JIQkhTR2w2VlZCQmJuTlRZbkpRSzFWbmJVbE5ibXBsYlRCcVdraHFSMkZsTVcxVE0zcDROV3hZVFM5WVltZFFiM0lyZEc1aldtcGtWa2dyV1RGRWNrTnBSSFYyU0ZocWVHTTJVWGRoT0ZadlNUUmxZMHBSWm5kMlMzaHFVMGh5ZFhWYU5qSkVWMVJ5VG5GaVdXWndWMlZVUmtwUmNWbDBTbGhIUjFGTFYyczRXbkJCUld0S2MwMTBZMDFCU0c1aVpuSlJkalJKZUZCVFdYWklVamhUWkd3dmEyNVJkMUZvTm1GalpFcHhUM1EzV2tGRWFrMTBZMWR6Wld4eFNXUjZWR3RLY21wT1ZYbzViR1Z5UVc4clEzSlVjVGh6TkU0MFdFWktjQ3R4VVZGSlkxVXJTMDlCUFE9PTpKdlU1LzFMTGVqbGl0VFowalozQjd3PT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9789491216954 |
| Publisher: | ATLANTIS PRESS |
| Release Date: | July of 2013 |
| Language: | English |
| Format: | eBook |
| Collection: | Atlantis Studies In Computing |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9789491216954 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Compressed Data Structures For StringsATLANTIS PRESS59,61€ 10% CARD
-
eBook10%Constraints Meet ConcurrencyATLANTIS PRESS59,61€ 10% CARD
-
10%Logics In Computer ScienceAtlantis Press (Zeger Karssen)60,82€ 10% CARDfree shipping