Պատկեր Amazon.com -ից
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: - 0387969578
| Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
|---|---|---|---|---|---|---|---|---|
Book
|
American University Library of Armenia | Ընթերցասրահ | 511.3 DIJ (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 76 | AUA-PL-0000997 |
Դիտման American University Library of Armenia դարակ, Հավաքածու։ Ընթերցասրահ Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)
|
|
|
|
|
|
|
||
| 511.3 BAR Admissible sets and structures : | 511.3 BAR Vicious circles : | 511.3 DAV Introduction to lattices and order / | 511.3 DIJ Predicate calculus and program semantics / | 511.3 GOL Mathematics of modality / | 511.3 HOP Introduction to automata theory, languages, and computation / | 511.3 HOP C.2 Introduction to automata theory, languages, and computation / |
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։