José Bacelar Almeida – författare

Visar alla böcker från författaren José Bacelar Almeida.

2 produkter

Kategorier

2 produkter

Rigorous Software Development

An Introduction to Program Verification

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

Häftad, Engelska, 2011

579 kr

Skickas inom 5-8 vardagar

Nyhet

Rigorous Software Development

An Introduction to Program Verification

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

Häftad, Engelska, 2026

859 kr

Skickas inom 10-15 vardagar