Résultat de la recherche

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

Panier

Thomas Wies Programming Languages and Systems Anglais 18.04.2023 Livre de poche Fr. 55.90 1-2 semaines (titre imprimé sur commande)

David Mohaisen, Wies, Thomas Wies Networked Systems Anglais 19.08.2023 Livre de poche Fr. 83.00 1-2 semaines (titre imprimé sur commande)

Bern Finkbeiner, Bernd Finkbeiner, Wies, Wies, Thomas Wies Verification, Model Checking, and Abstract Interpretation Anglais 31.03.2022 Livre de poche Fr. 123.00 1-2 semaines (titre imprimé sur commande)

Shasha Dennis, Siddharth Krishna, Patel Nisarg, Nisarg Patel, Dennis Shasha, Dennis et Shasha... Automated Verification of Concurrent Search Structures Anglais 01.01.2021 Livre de poche Fr. 76.00 1-2 semaines (titre imprimé sur commande)

Andrei Paskevich, Thomas Wies Verified Software. Theories, Tools, and Experiments Anglais 15.12.2017 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)

Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Martin Schäf et al, Thomas Wies On the Pursuit of Insight and Elegance Anglais Livre de poche Fr. 69.00 Paraît le 16.04.2026

Prendre contact avec CeDe

Résultat de la recherche

Tri

Filtre article