adicionar à lista de desejos
Concrete Abstractions
Formalizing And Analyzing Discrete Theories And Algorithms With The Riscal Model Checker
language: english
Publisher:
Springer International Publishing AG, April of 2023 ‧
see product details
87,86€
10% OFF
CARD
ZDBGU01VNDRLMGRrU1dJMVZpdFhWSFJuYm5WMU0yeGpUVGsxTWpOVk16aEliRlpoVFhsMk1FUXlkRlV6VUdJd1ExZFdPV3RvVW10dGNqUlRWMWxGUlVoS2VucExlakpCV0dOb1NXUnlSVVJwTkRONVRIcDRWRUpCWjJKNmExVm9hSHBMTjFrcmFrTjVXbUYxU1V4aFoySnNVbW93WTJad2QwTkhTMk0zV0ZsUVFYZDFSaTlhYTNKeVpXUmlaVW94YzFwME4wdFROMnhTUm5ad2MwSTJkbmhETWpOQmRWcDBRVUl2UzJVNU5rODVSVXhJY1dRMWQzY3dNRTExYW5WVFJuZG5ZbEF5ZG1WRFEyOVNNazlHTlVsWldIWlJVa1pyUm00elZXeDFhVzV4TnpOR2VGUlNkVmhyWW1GdVJHdFhWVVI1TVhSWE1VNHlRWFZRTjFWaE1qQndha1pTUVhwb09WUnJjVFV5VEN0R1JucERRMFZPWkVObmNtdEhkSE56TUZscU5WRnllSFpLUldkTFlsa3hhRFJpUW1aaUswOWpZaTh2UlU0NVMydHBaRzUzVTJNM055dERUeTlHYkdWeGNUQnVPVmhCSzJkVVRtVXZSaTlMYm1SQlFUbEJSRzUxUWsxM2VIaFZZM1ZYV0d0UmRteFJhelpGUnpWbFMzVndSR0pZVEhFdmNrdHlkbGx6WlhCT2QxQmlkSEZWU0hKb1kxbHZVWGxqVmtJNVVETllhM2xWZWtJemVFeE9keXMzTDNKclJrRnVRblpYU0ZCMmNUaHVXbk5JUldGTVZtVmtja3R0ZHpFNVRYZFRXbUpIUldSMGRqZElOMHc1UWtwTlIxQmxUSGRKU25GVmRrZ3pValpFU0RsQ1VXWXpMM0ZsZDJWS1kwTXZaRVZ0VmpFdkswUXZWWFEwVVVaV1VTdG5aaTlXTkhWVVFrVnlZa2RoWW10dloweHBhakZvYlZOVmFEaE9UbXRQZFZWWGVXbE1VRVpUTVRoT2FUQlNTREZ4Y25VeVJUa3djMHBYY0ZoSVNqaEhTR1UyU0VWbE56SkxNVFozYTBwR1dGZzVWbk53UkRaVVJtdE5SMUUyUlc5WFlpczRZVmxoYTIxdE5sVjFPRlpRWkhBclRFbFRhemhPVlVWTlRVNXZhbEZJYkRORVIydDFjVzFRYW14TWNIcFpZbVp0WVdsTVZucDRSek41TmpkeWVFMXRTbkZFTkVWYU1HaDZkVEY0SzNOdmMwdElRelIyYTJSYWFIaHRVMFF2Vkd4NmJGVXlOV0k1Y1RCM056WjNaVzVLT1hOWE1ERlROM0pqTDBWT2JpdHFjSGx1Y1dSd2F6TkRTVTlKVXk5TVpWb3hSa2R4YmxwQ1VrdFNiSEpGYWpKVlYxZG9kejA5Oi91dnFnODdnMWhIUlhYeXN5V3NKVHc9PQ==
free shipping
Sell your book
SYNOPSIS
This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science;
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783031249334 |
| Publisher: | Springer International Publishing AG |
| Release Date: | April of 2023 |
| Language: | English |
| Dimensions: | 155 x 235 x 20 mm |
| Cover: | Hardcover |
| Pages: | 271 |
| Format: | Book |
| Collection: | Texts & Monographs In Symbolic Computation |
| Categories: |
Books in English
>
Science
>
Mathematics
Books in English > Others |
| EAN: | 9783031249334 |
BOOKS FROM THE SAME COLLECTION
-
10%Concrete AbstractionsSpringer International Publishing AG60,82€
67,58€free shipping -
10%Integration In Finite Terms: Fundamental SourcesSpringer Nature Switzerland AG202,77€ 10% CARDfree shipping
-
10%Concrete AbstractionsSpringer International Publishing AG60,82€
67,58€free shipping -
10%Thinking ProgramsSpringer International Publishing AG72,99€
81,10€free shipping