Sprache: Englisch
Verlag: Cambridge University Press, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Anbieter: Powell's Bookstores Chicago, ABAA, Chicago, IL, USA
Signiert
hardcover. Zustand: Used-Very Good. Library binding. No dj. Light shelf-wear.
Sprache: Englisch
Verlag: Cambridge University Press, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Anbieter: G. & J. CHESTERS, TAMWORTH, Vereinigtes Königreich
EUR 13,18
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: 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].
Sprache: Englisch
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
EUR 13,99
Anzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Sprache: Englisch
Verlag: Cambridge University Press, Cambridge, United Kingdom, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
EUR 43,49
Anzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Very Good. Zustand des Schutzumschlags: Very Good.
Sprache: Englisch
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: 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.
Sprache: Englisch
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Anbieter: Basi6 International, Irving, TX, USA
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 116,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: BennettBooksLtd, Los Angeles, CA, USA
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title!
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: California Books, Miami, FL, USA
Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: The Book Spot, Sioux Falls, MN, USA
Hardcover. Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 113,33
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 121,46
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. xix + 574 7 Illus.
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 113,32
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
EUR 131,94
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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. . . . .
Sprache: Englisch
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Anbieter: California Books, Miami, FL, USA
Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 140,11
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press CUP, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 416.
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 167,35
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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.
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 160,33
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Erstausgabe
EUR 164,13
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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 & Vocational. Dimension: 247 x 174 x 30. Weight in Grams: 132. . 2009. 1st Edition. hardcover. . . . .
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 150,84
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 182,69
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: CAMBRIDGE UNIVERSITY PRESS, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Anbieter: UK BOOKS STORE, London, LONDO, Vereinigtes Königreich
EUR 203,57
Anzahl: 1 verfügbar
In den WarenkorbZustand: 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 Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Sprache: Englisch
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 208,49
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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 & Vocational. Dimension: 247 x 174 x 30. Weight in Grams: 132. . 2009. 1st Edition. hardcover. . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: 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, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.
Sprache: Englisch
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 209,90
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 574 pages. 9.75x7.25x1.00 inches. In Stock.
Sprache: Englisch
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: 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 Kahn's achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The authors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology.
Sprache: Englisch
Verlag: Cambridge University Press, Cambridge, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Hardcover. Zustand: 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 artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 123,98
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 416 pages. 9.25x6.25x1.25 inches. In Stock. This item is printed on demand.
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
EUR 129,98
Anzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.