1. Formal methods :
پدیدآورنده : Flemming Nielson, Hanne Riis Nielson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science),Information theory.,Software engineering.,Formal methods (Computer science),Information theory.,Software engineering.
رده :
QA76
.
9
.
F67
N45
2019
2. Two-level functional languages /
پدیدآورنده : Flemming Nielson, Hanne Riis Nielson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Functional programming languages.,génération code.,interprétation abstraite.,lambda calcul.,logique combinatoire.,théorie type.,Functional programming languages.,Functionele talen.,Funktionale Programmiersprache,Funktionale Programmiersprache.,Implementation,Implementierung,Implementierung.,Lambda-calcul.,Langages de programmation fonctionnelle.,Programmation fonctionnelle (informatique)
رده :
QA76
.
62
.
N54
1992
