Understanding Z : A specification language and its formal semantics / J.M. Spivey.
Նյութի տեսակ։ ՏեքստՄատենաշար։ Cambridge tracts in theoretical computer science ; v. 3Հրատարակման մանրամասներ։ Cambridge : Cambridge University Press, 1988.Նկարագրություն։ 131 pISBN:- 0-521-33429-2
Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
---|---|---|---|---|---|---|---|---|
Book | Yerevan State University Library | Depository | 681.14 S-88 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | Term Loan | 2503179144 |
Includes index
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։