Pastāsti draugiem par šo preci:
Computer-aided Verification - DIMACS: Series in Discrete Mathematics and Theoretical Computer Science American Mathematical Society
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem American Mathematical Society izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Computer-aided Verification - DIMACS: Series in Discrete Mathematics and Theoretical Computer Science
American Mathematical Society
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.
illustrations
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 1991. gada 30. jūnijs |
| ISBN13 | 9780821865941 |
| Izdevēji | American Mathematical Society |
| Izmēri | 150 × 220 × 20 mm · 1,36 kg |
![Cover for American Mathematical Society · Runs and Patterns in Probability: Selected Papers - Mathematics and Its Applications (Hardcover Book) [Annotated edition] (1994)](https://imusic.b-cdn.net/images/item/original/346/9780792328346.jpg?american-mathematical-society-1994-runs-and-patterns-in-probability-selected-papers-mathematics-and-its-applications-hardcover-book&class=scaled&v=1425309962)
![Cover for American Mathematical Society · Theorie Des Fonctions Algebriques De Deux Variables Independantes, Volume I & II - Chelsea Publications (Hardcover Book) [2nd Ed. edition] (1971)](https://imusic.b-cdn.net/images/item/original/484/9780828402484.jpg?american-mathematical-society-1971-theorie-des-fonctions-algebriques-de-deux-variables-independantes-volume-i-ii-chelsea-publications-hardcover-book&class=scaled&v=1543621852)
![Cover for Ethan D. Bolker · Common Sense Mathematics - AMS / MAA Textbooks (Paperback Book) [Third edition] (2026)](https://imusic.b-cdn.net/images/item/original/934/9781470484934.jpg?ethan-d-bolker-2026-common-sense-mathematics-ams-maa-textbooks-paperback-book&class=scaled&v=1787581922)
![Cover for Alex Kasman · Glimpses of Soliton Theory: The Algebra and Geometry of Nonlinear PDEs - Student Mathematical Library (Paperback Book) [Second edition] (2023)](https://imusic.b-cdn.net/images/item/original/627/9781470472627.jpg?alex-kasman-2023-glimpses-of-soliton-theory-the-algebra-and-geometry-of-nonlinear-pdes-student-mathematical-library-paperback-book&class=scaled&v=1741190549)
