Conor McBride | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

TYPES FOR PROOFS AND PROGRAMS - INTERNATIONAL WORKSHOP, TYPES 2006, NOTTINGHAM, UK, APRIL 18-21, 2006, REVISED SELECTED PAPERS

Thorsten Altenkirch; Conor McBride
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

49,60 €

A LIST OF SUCCESSES THAT CAN CHANGE THE WORLD - ESSAYS DEDICATED TO PHILIP WADLER ON THE OCCASION OF HIS 60TH BIRTHDAY

Sam Lindley; Conor McBride; Phil Trinder; Don Sannella
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

49,60 €

THE GRAFTON BARBER ESSENTIAL GUIDE TO GROOMING & ETIQUETTE

Conor McAllister; Hugh McAllister; Caitlin McBride
Bonnier Books Ltd (2018)
Kovakantinen kirja

38,00 €

Types for Proofs and Programs - International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Thorsten Altenkirch, Conor McBride

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 272 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007
Julkaisuvuosi: 2007, 01.10.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus