Գրանցեք մեջբերումները

APA (7th ed.) մեջբերում

(1985). A survey of verification techniques for parallel programs / Howard Barringer.

Չիկագոյի ոճի (17րդ խմբ.) մեջբերում

A Survey of Verification Techniques for Parallel Programs / Howard Barringer. 1985.

MLA (9րդ խմբ.) Մեջբերում

A Survey of Verification Techniques for Parallel Programs / Howard Barringer. 1985.

Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.