Description: Category theory and computer science :

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	Conference on category theory and computer science :Manchester, GB
Autres auteurs:	Rydeheard, David E., 1954- (Directeur de la publication), Dybjer, Peter, 19..- (Directeur de la publication), Pitt, David H., 1946- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 389
Sujets:	Génie logiciel Informatique Langages de programmation Ordinateurs Logique symbolique et mathématique Catégories (mathématiques) Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Category theory and computer science, Manchester, UK, September 5-8, 1989, proceedings, D.H. Pitt, D.E. Rydeheard, P. Dybjer... [et al.] (eds.), Berlin, Springer-Verlag, 1989, 1 vol. (VI-365 p.), Lecture notes in computer science, 3-540-51662-X • Category Theory and Computer Science, Texte imprimé, 9783662175101

Description
Description:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540467403 (PDF)
ISSN:	1611-3349
Accès:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017