Simão Melo de Sousa – författare

Visar alla böcker från författaren Simão Melo de Sousa.

3 produkter

1. 

   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

2. 

   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

3. 

   vérification formelle de la plate-forme JavaCard

   Av Simão Melo de Sousa

   Häftad, 2011

   1279 kr

   Tillfälligt slut