Simão Melo de Sousa – författare

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

3 produkter

Kategorier

3 produkter

José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa - Rigorous Software Development, Häftad

Rigorous Software Development

An Introduction to Program Verification

AvJosé Bacelar Almeida,Maria João Fradem. fl.

Häftad, Engelska, 2011

589 kr

Skickas inom 5-8 vardagar

Nyhet

José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa - Rigorous Software Development, Häftad

Rigorous Software Development

An Introduction to Program Verification

AvJosé Bacelar Almeida,Maria João Fradem. fl.

Häftad, Engelska, 2026

869 kr

Skickas inom 10-15 vardagar

Simão Melo de Sousa - vérification formelle de la plate-forme JavaCard, Häftad

vérification formelle de la plate-forme JavaCard

AvSimão Melo de Sousa

Häftad, Franska, 2011

1 239 kr

Tillfälligt slut