ՀՀ Գիտությունների ազգային ակադեմիայի հիմնարար գիտական գրադարան = Fundamental Scientific Library of NAS RASoftware engineering with OBJ : Algebraic specification in action / Ed. by J. Goguen, G. Malcolm.
Material type:
TextSeries: Advances in formal methodsPublication details: Boston [etc] : Kluwer Acad. Publ., 2000.Description: xxvi, 408 p. illISBN: - 0792386841
| Item type | Current library | Collection | Call number | Status | Notes | Barcode | |
|---|---|---|---|---|---|---|---|
Գրքեր / Books
|
Fundamental Scientific Library | General | 681.3.06 (Browse shelf(Opens below)) | Available | 30 Days Loan | 320111888 |
Includes bibliogr. references
There are no comments on this title.
Log in to your account to post a comment.
All site content, except where otherwise noted, is licensed under a