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 28 novembre au 2 décembre 2024 dans les magasins au Canada et à indigo.ca avec tout achat d'au moins 50 $ d’articles admissibles, avant les taxes, mais après les rabais applicables et l’échange de points. Le montant d’achat minimal exclut les cartes-cadeaux, les frais d'abonnement ou de renouvellement à plum+, les frais d’expédition, les produits de la Fondation Indigo pour l'amour de la lecture et les dons faits à celle-ci. La sélection offerte en magasin et en ligne peut varier.
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