Rigorous Software Development. An Introduction to Program Verification

Par : José Bacelar Almeida, Maria Joao Frade, Jorge Sousa Pinto, Simao Melo de Sousa

Formats :

38,30 €
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay indisponible
    • Retrait Click and Collect en magasin gratuit
  • Nombre de pages263
  • PrésentationBroché
  • Poids0.435 kg
  • Dimensions15,5 cm × 23,5 cm × 1,5 cm
  • ISBN978-0-85729-017-5
  • EAN9780857290175
  • Date de parution01/01/2011
  • ÉditeurSpringer