Résultat de la recherche - Livres - CeDe.ch

Prendre contact avec CeDe

Vous avez des questions, des conseils, des compliments ou des critiques dont vous souhaitez nous faire part? Vos commentaires nous aident à améliorer CeDe.ch. Nous serons heureux de recevoir vos messages et nous répondons à tous les E-mails, rapidement, de manière professionnelle et avec plaisir. Merci beaucoup!

Ce site utilise des cookies. Lisez notre Déclaration de protection des données pour en savoir plus sur la façon dont nous utilisons les cookies et comment vous pouvez modifier vos préférences. OK

Meilleur service et livraison gratuite depuis 1997

Liste des désirs

Résultat de la recherche

Hakjoo Oh, Siu, Yulei Siu, Sui, Yulei Sui - Static Analysis

Hakjoo Oh, Siu, Yulei Siu, Sui, Yulei Sui Static Analysis Anglais 05.11.2025 Livre de poche Fr. 103.00 6-7 semaines

Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods

Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods Anglais 06.08.2025 Livre de poche Fr. 169.00 6-7 semaines

Gian Luca Pozzato, Gian Luca Pozzato, Uustalu, Tarmo Uustalu - Automated Reasoning with Analytic Tableaux and Related Methods

Gian Luca Pozzato, Gian Luca Pozzato, Uustalu, Tarmo Uustalu Automated Reasoning with Analytic Tableaux and Related Methods Anglais 04.12.2025 Livre de poche Fr. 56.90 6-7 semaines

Roberto Giacobazzi, Gorla, Alessandra Gorla - Static Analysis

Roberto Giacobazzi, Gorla, Alessandra Gorla Static Analysis Anglais 01.12.2024 Livre de poche Fr. 103.00 6-7 semaines

Clark Barrett, Waldmann, Uwe Waldmann - Automated Deduction - CADE 30

Clark Barrett, Waldmann, Uwe Waldmann Automated Deduction - CADE 30 Anglais 11.09.2025 Livre de poche épuisé