[ACM Press the Eighth International Workshop - Boston, Massachusetts (2009.05.11-2009.05.12)] Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 - Symbolic simulation in ACL2

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.