[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Library-based scalable refinement checking for contract-based design

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.