1 résultat(s) recherche sur le mot-clé 'program semantics'

The functional approach to programming / Guy Cousineau

Public ISBD Titre : The functional approach to programming Type de document : texte imprimé Auteurs : Guy Cousineau, Auteur ; Michel Mauny, Auteur Editeur : Cambridge University Press Année de publication : 1998 Importance : xiv - 445 p. Format : 26 cm ISBN/ISSN/EAN : 978-0-521-57183-8 Langues : Anglais Langues originales : Français Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N18 Functional programming and lambda calculus 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : functional programming  data structures  program semantics  applications  compilation  type synthesis Index. décimale : 68C Monographie Résumé : The functional approach to programming [texte imprimé] / Guy Cousineau, Auteur ; Michel Mauny, Auteur . - [S.l.] : Cambridge University Press, 1998 . - xiv - 445 p. ; 26 cm. ISBN : 978-0-521-57183-8 Langues : Anglais Langues originales : Français Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N18 Functional programming and lambda calculus 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : functional programming  data structures  program semantics  applications  compilation  type synthesis Index. décimale : 68C Monographie Résumé :

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21427	68C427	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible