adicionar à lista de desejos
Complete Symbolic Simulation Of Systemc Models eBook
Efficient Formal Verification Of Finite Non-Terminating Programs
language: english
Publisher:
Springer Fachmedien Wiesbaden, March of 2016 ‧
see product details
59,61€
10% OFF
CARD
ZWtvemVIcDBSRVZFYlVwMUsybzVOakZNVTJnMlJGazBjaTl0YzIxSlREZFpkMFUyTkV4NFMyVnViSEZTY0hkdmFGTTJkV3hMTm5STmN6TkdNMmxwWkdJd0t6bG1hMHRDTTBsMU1Dc3ZlVk5pVDBWT1RYbHJXV3NyZUZKSk1FVlpZM05WUVVsdVJFMUtVRUZoWjJFNFdITjVjazlDWVVOR1NXOWhSM0JpVkVWU2FpOVVRMGxqZWxkRFQzcGhaRGRLYlhKMVpDOTVkVEl3TkZoRmVtMUJSekJsTnk5WFdVSlBPVWRGVjI0Mk4zQkRhVXMxY2t0VFRUbEVZa3R2YVZWWVNUTmtiVGR1U2pKMGJ6Z3lTa2xTY0ZnNFZYWnNSRzV2YzJ3NVYwaDZhbUpoYW5CMWMwMW1NbUptY1d4V00zaE1aRXh2VVU1U2MzaFpTMVpwTVZOelFrWXJWVnB6ZG1sVVEyRmpUbFo2WkV4dk1sRk9WVTl0ZVZrMlVuZENiRzFpVFU5R01GUnNWVXhJV25CU1ZGcERUMUZFTnpWNk5uUTFUekpPVjJOU1RHTldUVTVHWnpSa1pGUlpZbFJxYW0wMVRUZGFRa3d6YW1oVFNtOUhXVXd4T0Vkbk5FeDJTbVl4VTJkS2RGbFdWbUpXUjJwVlJrNWhSMHR4Tm1kb2VYQlJSalJUUTFadmMxaHpMMWMwV1RaRlVUUmtVWEJ5Tlc5VFdVTnpZVFl6YzAxcVFtczFiMGwyVjJkS2VHSlRORFJGYkV0aGQydERPSFo1YTFKblpVOXdiRlEzVVVKd1QwUlhiR2RVVDJGbWJIQXhaVGt4T1ROYVNtOU5ka0ZEYUhGb1kxUkJaVEU1VVN0UmJsaFZaazB2TlhCaFFXUTJUbE55ZFRBeGVrRXhhSEYxWlN0WlMxcEpaVnByTHpKRmVIVjJOU3RLZW1NeWNVMXRZamh1ZVVaRE1HZFNabWhDVGtKMldrUldPRVJEYTNseFRqUlRLMjFCY0daVFltbzVaWGRyV0RabFFUTTFaakZ0VFdjNWQxaGpabGRsUkNzd1ZFTk5SVGhhVldWemJUQjRaWEJ4VXk4M2JXRk9NSFpKUzIwNWJsbEZUSEJWU0ZkTE5YSk9hWFZXTVdncmFWcHpVUzh6ZUhnMFVDOWhUemt2VEhsNlRVeEtOSGxrZDBSbWVIaDJOemtyZG10M1VFRmhWVFZJY3pWVVRtRnFRa3B1YWtGMlRIa3dXWEpSY0hkTmQwSkZXVXhhVGk5S1YzUnhiRU5JTjJwMWNtSTJhbkpLYjB3cmNDOHljMnBsU1RNMWVWTnZMMXBqUFE9PTpYMk9iaXY3MjBCcFRzWDB4WnlGUHd3PT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783658126803 |
| Publisher: | Springer Fachmedien Wiesbaden |
| Release Date: | March of 2016 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Bestmasters |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Computing > Hardware |
| EAN: | 9783658126803 |
BOOKS FROM THE SAME COLLECTION
-
imagem não disponívelSecuring Peer-To-Peer Identities In Iot Systems Using Blockchain And Multi-Agent Systems With An Outlook On M2m Payment Applications10%Securing Peer-To-Peer Identities In Iot Systems Using Blockchain And Multi-Agent Systems With An Outlook On M2m Payment ApplicationsSpringer Fachmedien Wiesbaden109,49€
121,66€free shipping -
10%Reconstructing Wind Fields From Gravitational Data On Gas GiantsSpringer Fachmedien Wiesbaden91,24€
101,38€free shipping
-
10%Enhanced Virtual PrototypingSpringer Nature Switzerland AG101,38€ 10% CARDfree shipping
-
10%Enhanced Virtual PrototypingSpringer Nature Switzerland AG148,70€ 10% CARDfree shipping