adicionar à lista de desejos
imagem não disponível
Computer-Aided Verification
Computer-Aided Verification
language: english
Publisher:
American Mathematical Society, June of 1991 ‧
see product details
166,28€
10% OFF
CARD
VlV4aVZtUkxaRmxVVWpsM1RpOURSVmxPVEhkYVZHODRUM0UwYkVVNGFHNDFjVkkxWVhkbGJpOUVSR05WZVM5SGNHUk9kM0l2ZURGNWNIUjZjeTlwUzJadmRVdG9WV2RRV2twaWJIaFJWRzV6SzFabFYwZHpaV1pZZWpWdFRqUTJLelo1T0VSUlUwMVJaR3hZVmpndkwxcEZkbk5pTjBoU04yMVpRaTk0Tm5KR1dVNTBWbmh4YjNWbmNIaFBLMGxvZUhGaFZFZzNZVTlPYTBWdWJXTkJUa3N5ZG1KdVFXWlpPR3N3VUhsT2NEUnhTeXRTZVVkMlZVMVRSVlpaT1RCRldGbG5OaTkySzJaMVJreDRSWHBtUmxjNGNqRklXV1F5VjJsTFdrZDRkR2RZZERreWMzcGFkRkJIVkRWMVRXVnFNMlJwUTB4UVVGZFdkMlJKYVZvMlEyWklWa3BPT0M4emRtTm9PWEZxV0VsTFVuQmphVVJOWTBaUWIzQlBPVWw0UW1sYVZsSXZjSFJQTVVOdVpVVkxia1phTVc0clMwZHFlVUkyVFdjeFdIUjRhVU12SzFCUFUzZ3ZRV3RyYWtGaWRXcHdaalJXUmxsMWJrNVdWallyVFhVMlYyNVVZM2NyUW5GblEzbFdkMVJVTUhrNFdtVmpZVFEzTUZGd00yWXhabTF0Y204elJ6SnlXWE15UlVacE5rdGlVSGhRUlhOeGRWaElXVVp4T1c0eE1tMVZOMVYzVFc5blNXNXBlaTlWUTJWM1ZFZFlUSGhaTjFoWFpIVnpZVEJMYnpKNGVtbHdNMkpzU1RsalFscHFOVzFGUTJkTllrSTJTMEk0U25VMFZIaFpjbFYwYUZNdmNHUm5WM0V6Y0dSc1ZFUnZTWFI2WmtGM2JXTnBZMU0zU1dGSGFURjZhVE13ZWxCUllWRndSV3hDTVVaRVUyY3ZORzFvVVZaT1ZrVTVhR2RSZUZwSVlXUldkV2QwTlRaTU1WWXZhMloxZUhaR1UwVkhUR3RJYVVrdlUwMTNPVU5JUTJKVEszSkZSR3hFZEVkQmMycElkM1Z3WjJwRGNYWkNjRlpyYTJ0VFZFTkVSRkpYTjFGaVVqa3hTVEpXTDNWd1NISk9UREZLVjFONFVVaDZjRUpKUld0cVlUVXhhbmxTWTJOMGRVNHZOWEJpTUcxRlVtUnpOWFZTVjA1eVIyaG1ka040VEdkV1YzSTRSR2RCUlUxc1RqVXpkR1JxVTBsSVR6SktTVTFyYUZGNFF5dHRWMlYyY1VsUWNGaEZVVVpCWmpoaFpHY3ZWMUpLWVZGeWFXRkJaSEV3WlU5U09XWnhOV1ZzYkVrelJXdDJWVVZ4VG1sT1MzWnJUa1IyVWtobEx6TnhPV013WkdOd1QzSklkejA5OnpKcGRGN1RjVXlzQjBLWFgrV0ltUEE9PQ==
free shipping
Sell your book
SYNOPSIS
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780821865941 |
| Publisher: | American Mathematical Society |
| Release Date: | June of 1991 |
| Language: | English |
| Cover: | Hardcover |
| Format: | Book |
| Collection: | Dimacs: Series In Discrete Mathematics And Theoretical Computer Science |
| Categories: |
Books in English
>
Science
>
Mathematics
|
| EAN: | 9780821865941 |
BOOKS FROM THE SAME COLLECTION
-
The Shortest Path Problem10%American Mathematical Society141,95€ 10% CARDfree shipping
-
Mathematical Support For Molecular Biology10%American Mathematical Society102,74€ 10% CARDfree shipping
-
Ludwig Otto Hesse'S Gesammelte Werke10%American Mathematical Society79,76€ 10% CARDfree shipping
-
Gesammelte Abhandlungen: Erster Band10%American Mathematical Society79,76€ 10% CARDfree shipping