Պատկեր Amazon.com -ից
Axiomatic domain theory in categories of parial maps / by Marcelo P. Fiore.
Նյութի տեսակ։
ՏեքստՄատենաշար։ Distinguished Dissertations in Computer ScienceՀրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1996.Նկարագրություն։ xiii, 240 pISBN: - 052157188X
| Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
|---|---|---|---|---|---|---|---|---|
Book
|
American University Library of Armenia | Ընթերցասրահ | 005.13 FIO (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 76 | AUA-PL-0013669 |
Դիտման American University Library of Armenia դարակ, Հավաքածու։ Ընթերցասրահ Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)
|
|
|
|
|
|
|
||
| 005.12 ROO Logic and structured design for computer programmers : | 005.13 ALA Fundamentals of comuting : | 005.13 ALL Natural language understanding / | 005.13 FIO Axiomatic domain theory in categories of parial maps / | 005.13 HIN Basic type theory / | 005.13 WAT Programming language concepts and paradigms / | 005.133 ADA BOO Software components with Ada : |
Includes bibliographical references and index.
Contents : Categorical preliminaries--Partiality--Data types.
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։