Programming Languages and Systems, 2013 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings Programming and Software Engineering Series
Coordonnateur : Shan Chung-chien
Up-to-date results
Proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013
State-of-the-art research
Date de parution : 11-2013
Ouvrage de 381 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThème de Programming Languages and Systems :
Mots-clés :
logics; model checking; probabilistic programming; program analysis; type systems