Engineering with logic

ACM SIGPLAN Notices 2006 / 01 Vol. 41; Iss. 1

Engineering with logic

Bishop, Steve, Fairbairn, Matthew, Norrish, Michael, 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:
41
Langue:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/1111320.1111043
Date:
January, 2006
Fichier:
PDF, 236 KB
english, 2006
La conversion en est effectuée
La conversion en a échoué