Engineering with Logic

Journal of the ACM 2018 / 12 Vol. 66; Iss. 1

Engineering with Logic

Bishop, Steve, Fairbairn, Matthew, Mehnert, Hannes, Norrish, Michael, Ridge, Tom, Sewell, Peter, Smith, Michael, Wansbrough, Keith
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
66
Langue:
english
Journal:
Journal of the ACM
DOI:
10.1145/3243650
Date:
December, 2018
Fichier:
PDF, 3.84 MB
english, 2018
La conversion en est effectuée
La conversion en a échoué