Rigorous Software Development. An Introduction to Program Verification

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

Formats :

    • 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