Proof, language, and interaction

Public ISBD Titre : Proof, language, and interaction : essays in honour of Robin Milner Type de document : texte imprimé Editeur : Cambridge (Mass.) : MIT Press Année de publication : cop. 2000 Collection : Foundations of computing Importance : 1 vol. (XIV-722 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 0-262-16188-5 Index. décimale : 68B Publication collective Proof, language, and interaction : essays in honour of Robin Milner [texte imprimé] . - Cambridge (Mass.) : MIT Press, cop. 2000 . - 1 vol. (XIV-722 p.) : ill. ; 24 cm. - (Foundations of computing) . ISBN : 0-262-16188-5 Index. décimale : 68B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17993	LINA/68B50	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1