Jorge Sousa Pinto - Böcker

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

3 produkter

Kategorier

3 produkter

Rigorous Software Development

An Introduction to Program Verification

Av José Bacelar Almeida, Maria João Frade m. fl

Häftad, Engelska, 2011

509 kr

Skickas inom 10-15 vardagar

Nyhet

Rigorous Software Development

An Introduction to Program Verification

Av José Bacelar Almeida, Maria João Frade m. fl

Häftad, Engelska, 2026

1 739 kr

Kommande

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, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar