Il s'agit de notre librairie Canada.

Il semble que vous résidiez au États-Unis. Vous devez avoir une adresse aux Canada pour effectuer des achats dans notre librairie Canada. Rendez-vous sur notre librairie États-Unis pour continuer.

Accéder à la librairie États-UnisChoisir une autre librairie
Aller au contenu principal
Liste d'envies
Panier
Créer un compte
Compte existant?Connexion
Rigorous Software Development - An Introduction to Program Verification eBook par Jorge Sousa Pinto,Maria João Frade,Simão Melo de Sousa,José Bacelar Almeida

Rigorous Software Development

An Introduction to Program Verification

Jorge Sousa Pinto,Maria João Frade,Simão Melo de Sousa,José Bacelar Almeida
Computer Science (R0)

Résumé

Catégories

À propos de ce livre

  • Langue :English
  • ISBN :9780857290182
  • Date de parution :15 nov. 2017
  • Éditeur :Springer London
  • Marque éditoriale :Springer
  • Format de fichier :EPUB2
  • Taille de fichier :3.67 MB
  • Options de téléchargement :EPUB2 (Adobe DRM)