Représentation formelle de structures de données. Application au système BS 2000

  • Bernard Bolle

Student thesis: Master types › Master in Computer science

Date of Award1985
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorJean RAMAEKERS (Supervisor)

Cite this

Documents

'