Jorge Sousa Pinto – författare
Visar alla böcker från författaren Jorge Sousa Pinto.
3 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
Language Engineering and Rigorous Software Development
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Av Ana Bove, Luis Soares Barbosa m. fl.
Häftad, 2009
739 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