Normal view MARC view ISBD view

An interpretation of typed objects into typed pi-calculus / Davide Sangiorgi, Davide Sangiorgi

Auteur principal : Sangiorgi, Davide, 1964-....Auteur secondaire collectivité : Institut national de recherche en informatique et en automatique, France, Unité de recherche, Sophia Antipolis, Alpes-MaritimesPublication :Le Chesnay, 302113 : Institut national de recherche en informatique et en automatique, 1996Description : 40 p. ; 30 cmBibliographie: Bibliogr. p. 38-40.Sujet : Pi calcul ;Orienté objet Sujet Catégorie : MATHEMATIQUES
Current location Call number Status Date due Barcode
Bib. Paris
EMP C 113 (3000) Available EMP44371D

Bibliogr. p. 38-40

Powered by Koha

//]]>