Titre original :
Programming Languages and Systems: 15th Asian Symposium, Aplas 2017, Suzhou, China, November 27-29, 2017, Proceedings
Contenu du livre :
Ce livre constitue les actes du 15e Symposium asiatique sur les langages de programmation et les systèmes, APLAS 2017, qui s'est tenu à Suzhou, en Chine, en novembre 2017.
Les 24 articles présentés dans ce volume ont été soigneusement examinés et sélectionnés parmi 56 soumissions. Ils ont été organisés en sections thématiques nommées : sécurité.
Raisonnement sur le tas et l'équivalence.
Concurrence et vérification.
Langages spécifiques à un domaine.
Sémantique.
Et raisonnement numérique. Le volume contient également deux conférences invitées sous forme d'articles complets.
Autres informations sur le livre :
| ISBN : | 9783319712369 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
