Types For Proofs And Programs door S. Berardi
Nu kopen!

Boek

Types For Proofs And Programs

International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers « 

Score:
 
 
 
 
 
 (3/0)

Aantal recensies:
0 
Aantal keer getipt:
0 
Aantal keer gelezen:
0 
Auteur(s):
  
Categorie:
 
ISBN
9783540221647

 
Deel via E-mail 
Deel op Twitter 



 
Informatie
 
 
Recensies
 
 
 
Prikbord
 
 
 
Vergelijkbaar
 
 
 
Lezers
 
 

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Meedoen

Recensies van Types For Proofs And Programs door S. Berardi

Er zijn nog geen recensies voor dit boek.

 
Meer recensies »
 
domReadyCallbacks.push( function() { new Error('Sorry, dit kan je alleen doen als je ingelogd bent. Als je nog geen lid bent, kun je dat hier worden.'); });