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
YkZaaWNYSlBWVVkwTmk5S05rMHJNa0ZyTDNSVlRrRmFTVUpZZFhKWFQydFRWbXRSU1dWWU9FdzBVQ3MyUnk5d1dIcGliVzF1TW00ek5VNXNabmRSUVRSNFEwNVNTMjF5VUVKR2FVZFpZMGt3UlVKak5uY3dhazFuV1ROclpqRnRjelZNVTJ4TEswUlJaVUlyVjBkdlFsZFFaR05sTjNSbmVuWmxWMG8yZUd4YVlrdFZjRXRUU0VkSVdETTJjV0pOVldsTFNEVnFOamhOVkROTVlrUk1aVU5PWVVoYVRETklWR3BSTVRWMWEwOVNTRVEwTnpaMlFVUTFiMUZ2ZVcxNE0wRjFWM0pZVW14VU5uSnBkMjFyZUZaRU5XVmFSRTVDVWpOSFFYUk9ORk14YW01RWVHVlhNWEZhU1hNMlZYa3hVazF6WWpKdlpEZGFZMDFNTURoVlRtd3ZhekpoYlVreVpFeE5SR2hrTHpoelZIbEROMW95TXpCS1NHczBPRGRYVXk5dFdXSXdiRXBoVG5OVlRGaE5OSEpST1dRdmFGTndURWw0Tm1ObWRIUTVVbGxPUzNGMk9HOXBiazFXYjJsdWQwZzBiMGhIYmk5VWVYSlRUMWhIYzBSQk9DdFZPSFo2Vms1a1FtZzRSblp0Y25Kd1NqQmpOVUkyVUd0d1FrZ3ZZVUZHTUN0bWFIVlVha2d6U0hwbllVZHJNbGMxY0VoWFVYUkpUSHBJVFd4dWRYWmFkaXMyY0dSSFpEY3JiRzgwYURKQk4waEhWVmhCY2twc1NEUTFMelZNVmtGVFkycDFVVkpyTmxka01XeHZjbnBUTVVkUk5ETnlibmxFVjNaSlYxZ3ZMMjg0U1RsdFlWbHpPVk5ZVGk4MVJYbzFSVUpQWjJaRU5FZHdTbmhPZWs5bGNTOXJabXRCUkd0RU9HeDVjemg0ZDJOTmFqWnhSMkpxTkU1VVVuVkxXV0pWYlVsaGN6WmpkbTExYWtGcE1IVmpiWE5wTm5weU9VSk1SSEV3YVdKa1JIVkhlUzh2YTFaTlZpdDBkR051TUZGU09ITk9NVVZuZWtsVVp6SjJNMVY1TjA5Uk1YQkRVV2xOVlRWeVMxcG9NVEEwVTFaa2FrcFdOVFIxVDJKSVIzVmpaVFZxYVdWa2FreE5hbFp0UkhreGNHazFkVk5FUVU0MVREUjNPRUpYUmxSR1JTOU5ORVZTV25aUGFuQjBhMk5FUzB4ek5EUldhbTFKTkZwWmVuZFVlbXRrUjFWSVRYVktaREE0ZW5BdlVIRXZiM1psY2pRNFpuVjZURFJDY1VKWlIyVnBORVZOUFE9PTpyY2RMVWQ3YXB1VXlCaGtnUXplU1RBPT0=
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9789491216954 |
| Publisher: | ATLANTIS PRESS |
| Release Date: | July of 2013 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Atlantis Studies In Computing |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9789491216954 |
BOOKS FROM THE SAME COLLECTION
-
Compressed Data Structures For StringseBook10%ATLANTIS PRESS59,61€ 10% CARD
-
Constraints Meet ConcurrencyeBook10%ATLANTIS PRESS59,61€ 10% CARD
-
Logics In Computer Science30%Atlantis Press (Zeger Karssen)42,57€
60,82€free shipping