Mcbride conor (31 résultats)

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

Etat : New.

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

Etat : New.

Etat : As New. Unread book in perfect condition.

Paperback. Etat : New.

Etat : New.

Etat : New.

Etat : New. In English.

Etat : New. In English.

Etat : New. pp. 288.

Etat : New. pp. 479.

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

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

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

Etat : As New. Unread book in perfect condition.

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

Etat : As New. Unread book in perfect condition.

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

Etat : new. Questo è un articolo print on demand.

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

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

Etat : New. Print on Demand pp. 288 Illus.

Etat : New. PRINT ON DEMAND pp. 288.

Etat : New. Print on Demand pp. 479.

Kartoniert / Broschiert. Etat : 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.…

Etat : New. PRINT ON DEMAND pp. 479.