Jorge Sousa Pinto – författare

Visar alla böcker från författaren Jorge Sousa Pinto.

3 produkter

Kategorier

3 produkter

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
Rigorous Software Development
An Introduction to Program Verification
AvJosé Bacelar Almeida,Maria João Fradem. fl.
Häftad, Engelska, 2026
879 kr
Skickas inom 10-15 vardagar
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