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 €
  • 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