G. Kamsteeg

1 titel in de boekenbase · Auteur

Informatica algemeen

Over G. Kamsteeg

G. Kamsteeg staat met 1 titel in de boekenbase als auteur. Het werk valt vooral onder informatica algemeen.

Formalization of process algebra with data in the calculus of constructions with inductive types

Formalization of process algebra with data in the calculus of constructions with inductive types