Idioma: Inglés
Publicado por Black and White Publishing, 2018
ISBN 10: 1785302175 ISBN 13: 9781785302176
Librería: AwesomeBooks, Wallingford, Reino Unido
EUR 5,12
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. The Grafton Barber Essential Guide to Grooming & Etiquette This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
Idioma: Inglés
Publicado por Black and White Publishing 18/10/2018, 2018
ISBN 10: 1785302175 ISBN 13: 9781785302176
Librería: Bahamut Media, Reading, Reino Unido
EUR 4,98
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 54,97
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 60,29
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 49,27
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. Bibby, Duane Ilustrador. 403 pages. 9.00x7.00x1.00 inches. In Stock.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,05
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 71,54
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 288.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,05
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 57,07
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 60,02
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 78,03
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 479.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2016
ISBN 10: 3319309358 ISBN 13: 9783319309354
Librería: Revaluation Books, Exeter, Reino Unido
EUR 81,89
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 478 pages. 8.75x5.75x1.00 inches. In Stock.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2007
ISBN 10: 3540744630 ISBN 13: 9783540744634
Librería: moluna, Greven, Alemania
EUR 64,08
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Presents the refereed post-proceedings of the International Workshop of the Types Working GroupIncludes 17 carefully reviewed full papersAddresses all current issues in formal reasoning and computer programming based on type theory.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The contributions are made by some of the many who knowPhil and have been influenced by him. The research papers included hererepresent some of the areas in which Phil has been active, and the editorsthank their colleagues for agreeing to contribute to this Festschrift. We attemptto summarize Phil Wadler's scientific achievements. In addition, we describethe personal style and enthusiasm that Phil has brought to the subject.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. A List of Successes That Can Change the World | Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday | Sam Lindley (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2016 | Springer | EAN 9783319309354 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Types for Proofs and Programs | International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers | Thorsten Altenkirch (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540744634 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Idioma: Inglés
Publicado por Springer, Berlin, Springer, 2007
ISBN 10: 3540744630 ISBN 13: 9783540744634
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 58,39
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 116,69
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 107,17
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 137,43
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Buchpark, Trebbin, Alemania
EUR 43,93
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 269 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 69,86
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 288 Illus.
Idioma: Inglés
Publicado por Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 3540744630 ISBN 13: 9783540744634
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education. 272 pp. Englisch.
Idioma: Inglés
Publicado por Springer International Publishing Mrz 2016, 2016
ISBN 10: 3319309358 ISBN 13: 9783319309354
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The contributions are made by some of the many who knowPhil and have been influenced by him. The research papers included hererepresent some of the areas in which Phil has been active, and the editorsthank their colleagues for agreeing to contribute to this Festschrift. We attemptto summarize Phil Wadler's scientific achievements. In addition, we describethe personal style and enthusiasm that Phil has brought to the subject. 504 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 75,81
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 479.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 71,18
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 288.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 75,60
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 479.
Idioma: Inglés
Publicado por Springer International Publishing, 2016
ISBN 10: 3319309358 ISBN 13: 9783319309354
Librería: moluna, Greven, Alemania
EUR 48,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contains refereed papers dedicated to Philip Wadler and to his workCollects a number of papers by Philip s collaborators over the years presentinga broad range of topics reflecting Philip s versatilityDepicts Phil s major contributions to p.
Idioma: Inglés
Publicado por Springer, Springer Mär 2016, 2016
ISBN 10: 3319309358 ISBN 13: 9783319309354
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The contributions are made by some of the many who knowPhil and have been influenced by him. The research papers included hererepresent some of the areas in which Phil has been active, and the editorsthank their colleagues for agreeing to contribute to this Festschrift. We attemptto summarize Phil Wadler's scientific achievements. In addition, we describethe personal style and enthusiasm that Phil has brought to the subject.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 504 pp. Englisch.