Bol 81,37 81,37 Bekijk 
Amazon.nl Bekijk prijs This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993. As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiom...
De Types for Proofs and Programs is een populaire optie voor Programmeertalen. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.
Types for Proofs and Programs is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.
-18 % € 44,74 
€ 64,71 Sams Teach Yourself Java in 21 Days Covering Java 7 and Android App Development Sams Teach Yourself Java in 21 Days continues to be one of the most popular, best-selling Java tutorials on the market....
Naar goedkoopste shop Vergelijk meer shops 
