Fortell venner om denne varen:
Logical Frameworks Gerard Huet
Pris
NOK 1.179
Bestillingsvarer
Forventes levert 28. sep - 12. okt
Få varsel om nye utgivelser fra Gerard Huet
Legg til iMusic ønskeliste
eller
Logical Frameworks
Gerard Huet
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
416 pages, black & white illustrations
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 26. september 1991 |
| ISBN13 | 9780521413008 |
| Utgivere | Cambridge University Press |
| Antall sider | 416 |
| Mål | 152 × 229 × 27 mm · 690 g (Estimert vekt) |
| Språk | Engelsk |
| Redaktør | Huet, Gerard (Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt) |
| Redaktør | Plotkin, G. (University of Edinburgh) |
