Diğer Bilgiler: Recent trends in algebraic development techniques :

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	International workshop on algebraic development techniques :Gênes
Diğer Yazarlar:	Cerioli, Maura, 19..- (Yayın yönetmeni), Reggio, Gianna (Yayın yönetmeni)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seri Bilgileri:	Lecture notes in computer science 2267
Konular:	Génie logiciel Informatique Types abstraits de données (informatique) Logique symbolique et mathématique Informatique > Mathématiques Logiciels > Développement Actes de congrès
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Recent trends in algebraic development techniques, 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected papers, Maura Cerioli, Gianna Reggio (eds.), Berlin, Springer, 2001, 1 vol. (X-343 p.), Lecture notes in computer science, 3-540-43159-4 • Recent Trends in Algebraic Development Techniques, Texte imprimé, 9783662177976

Diğer Bilgiler
Diğer Bilgileri:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540456452 (PDF)
ISSN:	1611-3349
Erişim:	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