[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - Interactive proofs in higher-order concurrent separation logic

Dans 1-5 minutes, le fichier sera delivré à votre compte Telegram.

Note : Assurez-vous que vous avez lié votre compte au bot Telegram de Z-Library.

Dans 1-5 minutes, le fichier sera delivré à votre appareil Kindle.

Remarque: vous devez valider chaque livre avant de l'envoyer à Kindle. Veuillez vérifier votre messagerie pour voir le mail avec la confirmation par Amazon Kindle Support.