adicionar à lista de desejos
Systems And Software Verification
Model-Checking Techniques And Tools
language: english
Publisher:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, December of 2010 ‧
see product details
162,21€
10% OFF
CARD
WXpOVWNXVnlja3BXWWpOdFN6TXdWRE5ZYWpkeVptUmtWR3BRSzFwU1pXdE1Za1ZHUzB0VWNGWTJOakV5TVdoU1VXWk9aVlp3VlVwU04zVXphRTlpVjFwM2RHazVVeXRhVEZCTU1FOWpVVnAxTnpCS1ltVlVVR1JDWTNOTmJqZFBiamx1U1VGMlRuRm1RbEV5SzFCTlJtVXdNMDA1VFhrMWRHMWFjemN5YTAxd1JuTm9hV2hZTTNKa2JtNVZTbmRtYUdSbVYwdEZiSE56WWt0clRuUXJOMDVPWkZORVYyaHVibUptV1VoeldWQnhhVkJ6YzBvMVQwdHBaakJGYjA1U1JUZzNTMmhRYUdGeVprTnZla0puWjFwU05HRm9Ta0ZIVEVwMmFqVm9PRVkwYURWV2JYcDNNM0ZKYVc5NVl6Rm1iazV1YTBobFZDdHRaRkE0UzI0NE9XbHZRMjlQYUZObFYweFJObUpWV2paTllWSnljMHR1VW5weGF6UTFlRWxPY0d0dFFUVmFiMlZITmxSYVFYSkdlRk53VVVGUVEwMHJkSEV3YkRWdGQwVnJTamRuUmxoblVFUkRaMlp1T1ZSSmRGY3JURlpJV2pWeFZYWkxSRWNyWWpKNFRHbEpXamc1UjBOa1FVSjRiVFJvU1ZOUWJHMDRRV29yYUVJeVVqRkRVV2hxUm5vclNGbDRjWEJUWWtKSmJtc3ZiV056ZW5wYU5rRTVkM2Q0VjNwdlRsRTNkVUV3ZEd4MFYxSXpTMWRKZUVoRWFrRnJSM1pGTHpGRlpYaE9jMlpyYUhaNmFXcHNZeTlVZDI1aVFVbEtNVkJRWTB4dWVGSnhTM3B1U2pGNk5qSTRkR3RQTlVobFUyaFFiSFpCZDA5dlFWaG9NSFZ1VTFWSFIzQm9NMmRvTkRrMFVrWkRTMUV2VFdkWVFYTTNOVWQ0WVdJeWJVb3ZOa1ZTWW5Ka2RURTVXbTh2WVVWSFZqRmpPWFZLZFZCSFVYSnJjazk2WjNoeWFVZDVWbkZ3V0dWVVowbHVaSFV4WmpSSU9YaExlSFptTjJsU2NVWXJUVzhyZERkRWNtd3hVa05vYzNKSlRtUXdLMnB4ZFVSR016bHRZazVFVG5KWFRHdHRVMkp2TW1aYUwyVlVjMWRsZWtwNlNHOXRSbXRGY0ZNNGQxZGlZbVZEYjNCTVptazFUVWRpWldOdFNXaFJSamwyTjBGek1XSjFSVzVqTWpoSFUxUmFkaTlXYTNreVNVWk1ja3BZUTJjeVJERXljRTVoVTI1U2JuQnpjbVZ3YmpsWEszQnhaMHRYUVZwNVZrWllWMHBhVFcxaVdHc3dNV3BJVkRjeWFXZGFNbE5sT0hkdkt6RkNRMlJpTTBadU5EWjBkMkZET0hZeFozZDZaejA5OlpqQStRcG1Dcit0bS9WUjZ3L0xhelE9PQ==
free shipping
Sell your book
SYNOPSIS
Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9783642074783 |
| Publisher: | SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Release Date: | December of 2010 |
| Language: | English |
| Cover: | Softcover |
| Pages: | 190 |
| Format: | Book |
| Categories: |
Books in English
>
Computing
>
Hardware
|
| EAN: | 9783642074783 |