Hoppa till sidans huvudinnehåll

Jorge Sousa Pinto – författare

Visar alla böcker från författaren Jorge Sousa Pinto.
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

Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto - Language Engineering and Rigorous Software Development, Häftad

Language Engineering and Rigorous Software Development

International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

AvAna Bove,Luis Soares Barbosam. fl.

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar