Conor McBride – författare
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.
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.