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 2024 ‧
see product details
60,82€
10% OFF
VG5KMWNHOW1SMmxLTVU5a01TdHdTVVUyYVhJNWVHdDJXWFY1TkRCWGFXcHFNMll4VlZwTE5rcHVSRU50VVM5UVRVMW1RMUpNY1ZKT0wwbDNSVWhvUW5KS2FsSk9hM040YkVRNVVUaG1RbHBwUWxOVVNUSmlRMDh3U1ZGUmFub3dkWGR1YlZGTE1uazVUME14YW5sM0x6WnNVMWRUUzBZM01GTmliak5QYTNkMU5URmxTVWRhZERCNWRXSkpTazQxUkZsbFJWWjJZbXhoWVVGSWNYQjNRMnRhUW00M1JsSlBjVk5yYUVsclRqWjNUREF4YjFaYVN6a3hlR3h2UmxKV09IWXJNa2Q1VUhjck9GcE9jMFZLZW5OWFNHMXdNV1JxZVhoVFVIcFBhamR5Wm13d2NYTlFTbGRPTkVGUGFrODNlbkIwYUZKNWRVbFJhU3RQVDB4Q2FEQlhaVk5aWjNnMWEwRTVXaTh5ZEdwRVNUTjFWa3BKZHk4dllVOU5jRE5aUmtVdlNVbGpSSEpKVVRGcGNtVlpMMWxvZEVKb1ZqZFpRbUpEV1djclZIaHZWRWRYYVVsRWRHcDZaVTEyZHl0WmFtZDNOMVJuVkdKa1luYzJlaTlIT1ZvdmEybEpiMVpMUkZWVWFGZG1hM0ZRUVRKRlR6ZENlaTlCTUU1QlVGQkRTSFpuVnpneFN6YzFSbXhNU0VjMmNtTmtTVnBhZFhsQlNXNUhjMGxFZGpWeVowdFZaV3g0ZW1kd05FMUpiWEl4YVRobWJWTTVkelJxUTBsV1ltVmtPRTV1VUdGRlpTOXROV1JVVVc5UlRtcDNXazFWTlc5WldTdHpSVm95YTFsWFFVaE9TelZ1Ympkd1VFTnBWWE5zYWpacmIzRllRbGRLUm1ST04yUkxiMWRuVVhJM2NqSk1ZeTlHVjJvNVNWbHhUVXREVjFwemNXUkRSaTh3YUhScFJtWnBReXN3UnpoSlFYbHpRVTVPVG5BMFVIcFFVMWxOTmxWQmJXZFJkVnBoZWpKUE1EQlVVRzExWkhCSU9TOTFSemgwVVZGQ2NrMVNibWhsU1dwSFlTOUtaV1JJT1hKT05rOVlTR3MwTlUxREwyZ3hXalphUTNFdmVtbGFOVlUxZVE9PTpOWUdwSEF6dFJNMHJwUWxJbWtMK3VRPT0=
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: | 9783031249365 |
| Publisher: | Springer International Publishing AG |
| Release Date: | April of 2024 |
| Language: | English |
| Dimensions: | 155 x 235 x 20 mm |
| Cover: | Softcover |
| Pages: | 271 |
| Format: | Book |
| Collection: | Texts & Monographs In Symbolic Computation |
| Categories: |
Books in English
>
Science
>
Mathematics
Books in English > Others |
| EAN: | 9783031249365 |
BOOKS FROM THE SAME COLLECTION
-
10%Integration In Finite Terms: Fundamental SourcesSpringer Nature Switzerland AG202,77€ 10% CARDfree shipping
-
10%Anti-Differentiation And The Calculation Of Feynman AmplitudesSpringer Nature Switzerland AG189,25€ 10% CARDfree shipping
-
10%Concrete AbstractionsSpringer International Publishing AG87,86€ 10% CARDfree shipping
-
10%Thinking ProgramsSpringer International Publishing AG72,99€
81,10€free shipping