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 A formal axiomatization for alphabet reasoning with parametrized processes door H.P. Korver

A formal axiomatization for alphabet reasoning with parametrized processes is 0 keer gerecenseerd. De gemiddelde score is 3.0. Het boek is 0 keer gelezen.
Anoniem

Er zijn nog geen recensies voor dit boek.

 
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.'); });