Programmation fonctionnelle: spécifications &...

  • Main
  • Programmation fonctionnelle:...

Programmation fonctionnelle: spécifications & applications

Alain Couturier, Gérald Jean-Baptiste
0 / 4.0
0 comments
Sukakah anda buku ini?
Bagaimana kualiti fail ini?
Muat turun buku untuk menilai kualitinya
Bagaimana kualiti fail yang dimuat turun?
A travers les fondements théoriques de la programmation fonctionnelle, ce livre expose le cheminement, de l'étude de la spécification formelle à l'application, en passant par l'algorithme. L'illustration de l'application des algorithmes est représentée sous différents langages (ISETL, CLEAN, HASKELL, Poly/ML). Cet ouvrage est un support pédagogique destiné aux étudiants du 1er cycle universitaire, spécialisés en informatique, il peut être un complément aux étudiants de 2ème cycle soucieux d'une programmation proche des spécifications formelles. En outre, il peut être un support de cours ou un didacticiel pour les enseignants souhaitant approfondir ce domaine.
Tahun:
2003
Penerbit:
Éditions Cépaduès
Bahasa:
french
Halaman:
31
ISBN 10:
2854286081
ISBN 13:
9782854286083
Fail:
DJVU, 4.85 MB
IPFS:
CID , CID Blake2b
french, 2003
Baca dalam Talian
Penukaran menjadi sedang dijalankan
Penukaran menjadi gagal

Istilah utama