Edited by Gerard Huet G Plotkin (2 results)

Author: 
Refine with Advanced Search

Refine your search

  • Books (2)

  • New (2)
Learn more

to

Custom price range (£)

to

  • Language: English

    Published by Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Hardcover

    Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.

    5-star seller
    Contact seller

    Condition: New

    £ 114.82

    £ 8.03 shipping 
    Ships from Ireland to U.S.A.

    Quantity: Over 20 available

    Condition: New. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Editor(s): Huet, Gerard; Plotkin, G. Num Pages: 416 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738. . 1991. hardcover. . . . .…

  • Language: English

    Published by Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Hardcover

    Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore

    5-star seller
    Contact seller

    Condition: New

    £ 144.71

    £ 7.91 shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Condition: New. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Editor(s): Huet, Gerard; Plotkin, G. Num Pages: 416 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738. . 1991. hardcover. . . . . Books ship from the US and Ireland.…