Recent Trends in Algebraic Development Techniques
Résumé
Book Front Matter of LNCS 7841
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)