Predicate calculus and program semantics / by Edsger W. Dijkstra, Carel S. Scholten.

Կողմից։

Աջակցող(ներ)։

Նյութի տեսակ։

ՏեքստՄատենաշար։ Texts and Monographs in Computer ScienceՀրատարակման մանրամասներ։ New York, N.Y. : Springer-Verlag, 1990.Նկարագրություն։ x, 220 pISBN:

Խորագրեր։

Ցուցիչներ այս գրադարանից: Չկան ցուցիչներ այս գրադարանի այս վերնագրի համար. Մուտք գործիր ցուցիչներ ավելացնելու համար.

Պահումներ
Նյութի տեսակ	Ընթացիկ գրադարան	Հավաքածու	Դարակային համար	Վիճակ	Նշումներ	Վերադարձի ամսաթիվ	Շտրիխ կոդ
Book	American University Library of Armenia	Ընթերցասրահ	511.3 DIJ (Դիտման դարակ(Բացվում է ներքևում))	Հասանելի	76		AUA-PL-0000997

Այս վերնագրի համար չկան մեկնաբանություններ։

ուղարկել մեկնաբանություն։