Mathematical methods in program development

Antzeko izenburuak

• Programming and mathematical method /
  nork: Broy, Manfred
  Argitaratua: (1992)
• Mathematical programming
  nork: Hu, T C Ed. by
  Argitaratua: (1973)
• Mathematical foundations of programming
  nork: Beckman, Frank S
  Argitaratua: (1980)
• Introduction to Programming and Numerical Methods in MATLAB
  nork: Otto, S. R.
  Argitaratua: (2007)
• Formal methods of program verification and specification
  nork: H K Berg, et al.
  Argitaratua: (1982)