Tell your friends about this item:
Logical Frameworks Gerard Huet
Price
€ 110.99
Ordered from remote warehouse
Expected delivery Jul 28 - Aug 11
Get notified about new Gerard Huet releases
Our customers say:
Add to your iMusic wish list
Logical Frameworks
Gerard Huet
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
416 pages, black & white illustrations
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | September 26, 1991 |
| ISBN13 | 9780521413008 |
| Publishers | Cambridge University Press |
| Pages | 416 |
| Dimensions | 152 × 229 × 27 mm · 690 g (Weight (estimated)) |
| Language | English |
| Editor | Huet, Gerard (Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt) |
| Editor | Plotkin, G. (University of Edinburgh) |
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/100/9781009694100.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2027-principles-of-behavioral-neuroscience-paperback-book&class=scaled&v=1781538992)
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Hardcover Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/124/9781009694124.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2027-principles-of-behavioral-neuroscience-hardcover-book&class=scaled&v=1781538969)
![Cover for Fontaine, Lise (Universite du Quebec a Trois-Rivieres) · Analysing English Grammar: A Systemic Functional Introduction (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/905/9781009437905.jpg?fontaine-lise-universite-du-quebec-a-trois-rivieres-2027-analysing-english-grammar-a-systemic-functional-introduction-paperback-book&class=scaled&v=1781538937)
