José Bacelar Almeida – författare
Visar alla böcker från författaren José Bacelar Almeida.
2 produkter
Rigorous Software Development
An Introduction to Program Verification
Av José Bacelar Almeida, Maria João Frade m. fl.
Häftad, 2026
889 kr
Lägg i varukorg
Rigorous Software Development
An Introduction to Program Verification
Av José Bacelar Almeida, Maria João Frade m. fl.
Häftad, 2011
599 kr
Tillfälligt slut