Mcbride conor (12 Ergebnisse)

Zustand: 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.

Paperback. Zustand: New. 1st ed. 2016. The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped.

Paperback. Zustand: Brand New. 403 pages. 9.00x7.00x1.00 inches. In Stock. Bibby, Duane (illustrator).

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 478 pages. 8.75x5.75x1.00 inches. In Stock.

Taschenbuch. Zustand: 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.…

Taschenbuch. Zustand: 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.…

Zustand: 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.

Taschenbuch. Zustand: 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.…

Taschenbuch. Zustand: 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.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 269 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.