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
YkZOeUszQklhekZwUlN0S1FYUktTVkZpV1doQ1ZUWjVTVEJHY1ZaeVQyZzNiVEZHZEdwNVUwUkJPVVI0WWtkMFVuaE1Wems0YkRaemMydDVRVUZpWmt4bFlVUXhRbEZxTjBFclIwMU1Wa1J0Ylcwdk4zUmtlVGRaVlV4UGIwY3ZUakZST0RCTk4yOVFlVFZoYjBoVU5XVnRTMk5tZDAxdlpERmlVemszTUdwNGRVcDJPVUpCUWxKdU1HTjJjUzk0VDNOT1dIbzFPV3RRSzJaSGFUSnljRWhQY21KbFpXSk9UMmg1T1ZsSlJFVktiVEkzVUd0MFFXSlhTbnBxUWtGUGJqZElVeXN2TlVsWWVteGplVkJRTVhRMWIxVXllRWh3VlRSTVluRjVPVmhpTVRCTWNXNW1lV0ZFY0ZSUmIwbFFWVzFDTDNCNFJrY3ZXbkpzYkd4cFQzWnllbmRXWWtKTmNubzJXa1JQSzA1U1dFcEVlRUZtZDJvNFdVeHdRbEZHVGtKdFNVSk5OVWhoWlVaMmFsTTRTRWRHU2paclJGbEpVMU5LZERSRFRuUldWakV2UlZOb01reEtUV2RSYzBwTVFWRkhiV2xLU1Nzek5qVXJXVlZvV0ZWR2IyMXZaakZLY1ZRNWNUSm5UMVJsV21aQ1IyaDRaRXhaYWxKeVRXVTRNbGhRTTFSUk1VUk1NWEI2TTBKTVpVTXJhekJTT1RoaU1YbDVaMVUzTVVsak5WTmpWRUUxZWxvd2VHWllURXBWUjJZeFRUY3phSEoxVkdRdmExcHNZV3BNYjFGQlIxTkdSemRvU214dlZXUXZTblJYYWtoR2ExTXlPU3RhY1U5UVV6UXdieXRIV2poV2RreExhREZOWW1NMFUwaEhTWE5XTWtKaGNrZ3hibk5SYldKUFp6VkJWM0U0UVcxMU5FWmhWVVF6ZFhwdFVXSlBiM1ZPWnpOeE4yNWplVWxsU1dwUlluVkhOV1JDZUZGUE4zQlRjbEl5WTJGMVdWUkxkWEZSUVRSeE1HTlRVbFpEV2pWSlFqVlZUSGxuVWpacldURk5UV3RxYUdZeVZscHRiMDV2VVZGTlEzQjRkWGxTVjJkSWRraFdSU3R2VEhwRFdWSldiRmRrYUdoalVuUk9jV2h1UjJaYVFqWnhVM2R4U3pKS1RsTk1kbWhJTW5aWFZYSXlRMk54TmpkNFVHdG1jbVpTWTBabk0wVktORFJGTXpWR1IzSk1WMjVCU1RWUWEwcHlXazFtVFdoNlVURlRTV1pSTlZrek5HaEdLMlpRWkdWb2NtOWpPVTkyYVM5UU5XRXZSa0pNV2s1S1pXcFljR2RKVEVWdGFWTkJVWEJrV25OcFdreGtWbXg1UWtrdlVtYzFaa2gyVWxSRU1uVlZVVDA5Onk1Vm9QeEtwakliTzNnS212OXdqQVE9PQ==
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.
DETAILS
| 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 |