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

Berg, Helmut K.; Etc.

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

Inhaltsangabe

Firma anterior poseedor. Buen estado

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.