Reihe Undergraduate Topics in Computer ScienceJosé Bacelar Almeida × Rigorous Software DevelopmentAn Introduction to Program VerificationJosé Bacelar AlmeidaSpringer LondonSoftcover2025117,69 € Rigorous Software DevelopmentAn Introduction to Program VerificationJosé Bacelar AlmeidaSpringer LondoneBook2025117,69 € Rigorous Software DevelopmentAn Introduction to Program VerificationJosé Bacelar AlmeidaSpringer LondonSoftcover201137,40 € Rigorous Software DevelopmentAn Introduction to Program VerificationJosé Bacelar AlmeidaSpringer LondoneBook201136,99 €
