• Anglais
  • Espagnol
  • Français
  • Allemand
  • Portugais
  • Italien
  • Russe
  • Chinois (simplifié)
  • Chinois (Traditionnel)
  • Japonais
  • Coréen
  • Néerlandais
  • Suédois
  • Persan
  • Arabe
  • Polonais
  • Accueil
  • Découvrir
  • Articles
  • Se connecter
  • S'inscrire
  • Anglais
  • Espagnol
  • Français
  • Allemand
  • Portugais
  • Italien
  • Russe
  • Chinois (simplifié)
  • Chinois (Traditionnel)
  • Japonais
  • Coréen
  • Néerlandais
  • Suédois
  • Persan
  • Arabe
  • Polonais
Scanner de code-barres ISBN
Ajoutez des livres en quelques secondes avec le scan de code-barres.

Il suffit de scanner un ISBN pour l'ajouter instantanément à votre bibliothèque. Disponible dès maintenant sur iOS et Android.

App Store Google Play
Daniel Kroening

Daniel Kroening

Aperçu Livres
Model Checking, second edition

Model Checking, second edition

Edmund M. Clarke Jr.

Computer Aided Verification: 27th International Conference (CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I)

Computer Aided Verification: 27th International Conference (CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I)

Daniel Kroening

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Daniel Kroening

Validation of Evolving Software

Validation of Evolving Software

Hana Chockler

Computer Aided Verification: 27th International Conference (CAV 2015)

Computer Aided Verification: 27th International Conference (CAV 2015)

Daniel Kroening

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Dimitra Giannakopoulou

Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Sharon Barner

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ...

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ...

Sharon Barner

Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Daniel Kroening

Suivez votre parcours de lecture, découvrez de nouveaux livres et atteignez vos objectifs de lecture avec BookPine.

App Store Google Play
Découvrir
  • Découvrir
Compte
  • Se connecter
  • S'inscrire
Support
  • FAQ
  • Demandes de fonctionnalités
  • Contact
Conditions
  • Conditions d'utilisation
  • Politique de confidentialité
  • Politique relative aux cookies
  • Gérer les cookies

Droits d'auteur © 2026 BookPine. Tous droits réservés.

Envoyer un retour

Nous utilisons des cookies pour améliorer votre expérience et analyser le trafic du site. Vous pouvez choisir les cookies à accepter.

Essentiel

Nécessaire au fonctionnement du site web. Ne peut pas être désactivé.

Analytique

Aidez-nous à comprendre comment les visiteurs interagissent avec notre site web.

Marketing

Utilisé pour diffuser des publicités pertinentes et suivre les campagnes.