Formal Methods of Programme Verification and Specification (Prentice-Hall Software Series) - Tapa dura

Berg, Helmut K.; Etc.

 
9780133288070: Formal Methods of Programme Verification and Specification (Prentice-Hall Software Series)

Sinopsis

Firma anterior poseedor. Buen estado

"Sinopsis" puede pertenecer a otra edición de este libro.