Logical Frameworks - Gerard Huet - Books - Cambridge University Press - 9780521413008 - September 26, 1991
In case cover and title do not match, the title is correct

Gerard Huet
Logical Frameworks

Price
$ 125.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 3 - 15

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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)

Mere med samme udgiver

See all of Gerard Huet ( e.g. Paperback Book and Hardcover Book )