Huet gerard plotkin (35 résultats)

0521433126 / 9780521433129

Membre d’une association professionnelle : ABAA, ILAB

Etat: Occasion

EUR 13,47

EUR 4,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

hardcover. Etat : Used-Very Good. Library binding. No dj. Light shelf-wear.

Logical Environments.

HUET, Huet & Plotkin, Gordon

Langue : anglais

Edité par Cambridge University Press, 1993

Couverture rigide

Vendeur : G. & J. CHESTERS, TAMWORTH, Royaume-UniG. & J. CHESTERS

Vendeur avec une évaluation de 5 étoiles

0521433126 / 9780521433129

Etat: Occasion - Bon

EUR 13,49

EUR 8,26 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Hardcover. Etat : Near Fine. pp.xiii, 338 pages, a near fine hardback, publisher's original blue (teal) cloth binding with gilt lettering to the spine, minimal evidence that it is from a uk university [0521433126].

Logical Environments

Huet, Huet & Plotkin, Gordon

Langue : anglais

Edité par Cambridge University Press, Cambridge, United Kingdom, 1993

Couverture rigide

Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-UniPsychoBabel & Skoob Books

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 44,51

EUR 14,76 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

hardcover. Etat : Very Good. Etat de la jaquette : Very Good.

From Semantics To Computer Science: Essays In Honour Of Gilles Kahn

Langue : anglais

Edité par Cambridge University Press, 2009

Couverture rigide

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

Yves Bertot, Gérard Huet, Jean-Jacques Lévy and Gordon Plotkin,

Etat: Neuf

EUR 89,62

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

From Semantics To Computer Science: Essays In Honour Of Gilles Kahn

Langue : anglais

Edité par Cambridge University Press, 2009

Couverture rigide

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 90,34

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Logical Frameworks

Langue : anglais

Edité par Cambridge University Press, 1991

Couverture rigide

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Huet, Gerard [Editor]; Plotkin, G. [Editor];

Etat: Neuf

EUR 116,41

EUR 2,30 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Logical Frameworks

Langue : anglais

Edité par Cambridge University Press, 1991

Couverture rigide

Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-UnisBennettBooksLtd

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 112,55

EUR 6,06 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

hardcover. Etat : New. In shrink wrap. Looks like an interesting title.

Logical Frameworks

Langue : anglais

Edité par Cambridge University Press, 1991

Couverture rigide

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 122,13

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

From Semantics to Computer Science

Langue : anglais

Edité par Cambridge University Press, 2009

Couverture rigide

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 116,35

EUR 7,67 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. pp. xix + 574 7 Illus.

Logical Frameworks

Langue : anglais

Edité par Cambridge University Press, 1991

Couverture rigide

Vendeur : The Book Spot, Sioux Falls, MN, Etats-UnisThe Book Spot

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 125,72

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Hardcover. Etat : New.

Logical Frameworks

Langue : anglais

Edité par Cambridge University Press, 1991

Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 116,01

EUR 14,14 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Logical Frameworks

Langue : anglais

Edité par Cambridge University Press, 1991

Couverture rigide

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Edited by Gerard Huet , G. Plotkin

Etat: Neuf

EUR 116,00

EUR 17,71 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Logical Frameworks

Langue : anglais

Edité par Cambridge University Press, 1991

Couverture rigide

Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 131,94

EUR 10,50 expédition

Expédition depuis Irlande vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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. h…

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Langue : anglais

Edité par Cambridge University Press, 2009

Couverture rigide

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 153,56

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Langue : anglais

Edité par Cambridge University Press, 2009

Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 143,42

EUR 14,14 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Logical Frameworks

Langue : anglais

Edité par Cambridge University Press CUP, 1991

Couverture rigide

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Edited by Gerard Huet , G. Plotkin

Etat: Neuf

EUR 166,04

EUR 3,48 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New. pp. 416.

Logical Frameworks

Langue : anglais

Edité par Cambridge University Press, 1991

Couverture rigide

Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 167,43

EUR 9,15 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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. h…

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Langue : anglais

Edité par Cambridge University Press, 2009

Couverture rigide
Édition originale

Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 164,13

EUR 10,50 expédition

Expédition depuis Irlande vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the future development of information technology. Editor(s): Bertot, Yves; Huet, Gerard; Levy, Jean-Jacques; Plotkin, Gordon. Num Pages: 594 pages, 7 b/w illus. 4 tables. BIC Classification: UY. Category: (P) Professional &…

Logical Frameworks

Langue : anglais

Edité par Cambridge University Press, 1991

Couverture rigide

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 164,13

EUR 17,71 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Logical Frameworks

Langue : anglais

Edité par Cambridge University Press, 1991

Couverture rigide

Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books

Vendeur avec une évaluation de 4 étoiles

Etat: Occasion - Comme neuf

EUR 154,41

EUR 29,51 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Hardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Logical Frameworks

Langue : anglais

Edité par Cambridge University Press, 1991

Couverture rigide

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 185,06

EUR 2,30 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

FROM SEMANTICS TO COMPUTER SCIENCE (HB 2009)

BERTOT Y

Langue : anglais

Edité par CAMBRIDGE UNIVERSITY PRESS, 2009

Couverture rigide
Édition internationale

Vendeur : UK BOOKS STORE, London, LONDO, Royaume-UniUK BOOKS STORE

Vendeur avec une évaluation de 5 étoiles

Édition internationale

Etat: Neuf

EUR 203,05

EUR 3,66 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Bo…

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Langue : anglais

Edité par Cambridge University Press, 2009

Couverture rigide

Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 208,59

EUR 9,15 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the future development of information technology. Editor(s): Bertot, Yves; Huet, Gerard; Levy, Jean-Jacques; Plotkin, Gordon. Num Pages: 594 pages, 7 b/w illus. 4 tables. BIC Classification: UY. Category: (P) Professional &…

Logical Frameworks

Gerard Huet

Langue : anglais

Edité par Cambridge University Press, 1991

Couverture rigide

Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

Vendeur avec une évaluation de 5 étoiles

Bertot, Yves (Editor)/ Huet, Gerard (Editor)/ Levy, Jean-Jacques (Editor)/ Plotkin, Gordon (Editor)

Etat: Neuf

EUR 153,73

EUR 64,12 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Buch. Etat : 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 proving,…

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Langue : anglais

Edité par Cambridge University Press, 2009

Couverture rigide

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 212,42

EUR 17,71 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Hardcover. Etat : Brand New. 1st edition. 574 pages. 9.75x7.25x1.00 inches. In Stock.

From Semantics to Computer Science

Yves Bertot

Langue : anglais

Edité par Cambridge University Press, 2009

Couverture rigide

Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

Vendeur avec une évaluation de 5 étoiles

Huet, Gerard/ Plotkin, G. (Editor)

Etat: Neuf

EUR 250,05

EUR 65,97 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to…

Logical Frameworks

Langue : anglais

Edité par Cambridge Univ Pr, 1991

Couverture rigide
impression à la demande

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 126,91

EUR 14,76 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

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

Logical Frameworks

Gerard Huet

Langue : anglais

Edité par Cambridge University Press, 1991

Couverture rigide
impression à la demande

Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-UniTHE SAINT BOOKSTORE

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 133,06

EUR 22,25 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

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

Logical Frameworks (Hardcover)

Gerard Huet

Langue : anglais

Edité par Cambridge University Press, Cambridge, 1991

Couverture rigide
impression à la demande

Vendeur : CitiRetail, Stevenage, Royaume-UniCitiRetail

Vendeur avec une évaluation de 5 étoiles

Bertot, Yves (Editor)/ Huet, Gerard (Editor)/ Levy, Jean-Jacques (Editor)/ Plotkin, Gordon (Editor)

Etat: Neuf

EUR 131,90

EUR 43,68 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Hardcover. Etat : 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 artificia…

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Langue : anglais

Edité par Cambridge University Press, 2009

Couverture rigide
impression à la demande

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles