Նորմալ դիտում MARC դիտում ISBD Դիտում

Software engineering with OBJ : Algebraic specification in action / Ed. by J. Goguen, G. Malcolm. - Boston [etc] : Kluwer Acad. Publ., 2000. - xxvi, 408 p. ill. - Advances in formal methods .

Includes bibliogr. references

ISBN: 0-7923-8684-1

Subjects--Topical Terms:
Software engineering
Programming languages