9780521413008 - logical frameworks hardback de huet; plotkin (19 resultados)

ISBN: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (19)

Más información

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura

    Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 116,73

    Envío por EUR 2,31 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura

    Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 112,86

    Envío por EUR 6,08 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 1 disponibles

    hardcover. Condición: New. In shrink wrap. Looks like an interesting title.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura

    Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 122,46

     Gastos de envío gratis 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura

    Librería: The Book Spot, Sioux Falls, MN, Estados Unidos de AmericaThe Book Spot

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 126,07

     Gastos de envío gratis 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Hardcover. Condición: New.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura

    Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 115,57

    Envío por EUR 14,09 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. In.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura

    Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 115,56

    Envío por EUR 17,64 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura

    Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 131,94

    Envío por EUR 10,50 
    Se envía de Irlanda a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: 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. . 199…

  • Idioma: Inglés

    Editorial: Cambridge University Press CUP, 1991

    0521413001 / 9780521413008

    • Tapa dura

    Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 166,49

    Envío por EUR 3,49 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New. pp. 416.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura

    Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 167,89

    Envío por EUR 9,18 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: 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. . 199…

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura

    Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 163,50

    Envío por EUR 17,64 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: As New. Unread book in perfect condition.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura

    Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 153,82

    Envío por EUR 29,40 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura

    Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 186,70

    Envío por EUR 2,31 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: As New. Unread book in perfect condition.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura

    Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 153,73

    Envío por EUR 64,12 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem prov…

  • Idioma: Inglés

    Editorial: Cambridge Univ Pr, 1991

    0521413001 / 9780521413008

    • Tapa dura
    • Impresión bajo demanda

    Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 126,42

    Envío por EUR 14,70 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Hardcover. Condición: Brand New. 416 pages. 9.25x6.25x1.25 inches. In Stock. This item is printed on demand.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura
    • Impresión bajo demanda

    Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 132,55

    Envío por EUR 22,17 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

  • Idioma: Inglés

    Editorial: Cambridge University Press, Cambridge, 1991

    0521413001 / 9780521413008

    • Tapa dura
    • Impresión bajo demanda

    Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 131,39

    Envío por EUR 43,51 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Hardcover. Condición: new. Hardcover. This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artif…

  • Idioma: Inglés

    Editorial: Cambridge University Press, 2011

    0521413001 / 9780521413008

    • Tapa dura
    • Impresión bajo demanda

    Librería: moluna, Greven, Alemaniamoluna

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 124,05

    Envío por EUR 48,99 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.Inhaltsverzeichnis1. The logical theory of constructions P. Aczel and D. Carlisle 2. The Boyer-Moore theore…

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura
    • Impresión bajo demanda

    Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 174,45

    Envío por EUR 7,64 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New. Print on Demand pp. 416 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Tapa dura
    • Impresión bajo demanda

    Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 173,39

    Envío por EUR 9,95 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New. PRINT ON DEMAND pp. 416.