Conor McBride - Böcker
Visar alla böcker från författaren Conor McBride. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 9600 - Lecture Notes in Computer Science
List of Successes That Can Change the World
Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Häftad, Engelska, 2016
556 kr
Skickas inom 10-15 vardagar
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 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.
Types for Proofs and Programs
International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Häftad, Engelska, 2007
556 kr
Skickas inom 10-15 vardagar
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.