Aperçu gratuit du livre Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
* Offre en vigueur du 13 janvier au 2 mars 2025 dans les magasins au Canada et à indigo.ca, avec tout achat d'au moins 30 $ d’articles admissibles en stock, avant les taxes et après les rabais applicables au cours d’une même transaction. L’offre ne s’applique pas aux achats antérieurs et ne peut être jumelée à aucune autre offre.
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare/fr-ca/constructive-methods-in-computing-science-international-summer-school-directed-by-f.l.-bauer-m.-broy-e.w.-dijkstra-c.a.r.-hoare/FBE99EBF-86D8-45E0-8823-7A20DB1AE311.htmlFBE99EBF-86D8-45E0-8823-7A20DB1AE311
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare