← Catalogus

A.N. Tamalet

1 titel in de boekenbase · Auteur
Theoretische informatica
Over A.N. Tamalet
A.N. Tamalet staat met 1 titel in de boekenbase als auteur. Het werk valt vooral onder theoretische informatica.
Towards correct programs in practice: proving functional andNon-functional properties by means of program analysis
A.N. Tamalet
Towards correct programs in practice: proving functional andNon-functional properties by means of program analysis
A.N. Tamalet
Paperback