Fortell venner om denne varen:
A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science 1985 edition
Howard Barringer
Pris
¥ 4.157
Bestillingsvarer
Forventes levert 6. - 14. aug
Legg til iMusic ønskeliste
Eller
A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science 1985 edition
Howard Barringer
120 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 1. mai 1985 |
| ISBN13 | 9783540152392 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 120 |
| Mål | 156 × 234 × 6 mm · 190 g |
| Språk | Engelsk |
![Cover for Howard Barringer · Advances in Temporal Logic - Applied Logic Series (Pocketbok) [1st Ed. Softcover of Orig. Ed. 2000 edition] (2010)](https://imusic.b-cdn.net/images/item/original/893/9789048153893.jpg?howard-barringer-2010-advances-in-temporal-logic-applied-logic-series-pocketbok&class=scaled&v=1502205856)
