Ashcroft edward a (14 resultados)

Hardcover. Condición: Fine. No Jacket. First Edition. Full bound black cloth, 161pp w Index, as new condition.

Condición: New.

Condición: New.

Condición: New. This is an introduction to LUCID, a multidimensional declarative programming language based on intensional logic. The mathematical underpinnings of LUCID enable programs to be amenable to verification and transformation. Num Pages: 174 pages, line figures. BIC Classification: PBCD; UMX. Category: (P) Professional & Vocational. Dimension: 242 x 158 x 17. Weight in Grams: 365. . 1994. Hardback. . . . . …

Condición: As New. Unread book in perfect condition.

Condición: New. This is an introduction to LUCID, a multidimensional declarative programming language based on intensional logic. The mathematical underpinnings of LUCID enable programs to be amenable to verification and transformation. Num Pages: 174 pages, line figures. BIC Classification: PBCD; UMX. Category: (P) Professional & Vocational. Dimension: 242 x 158 x 17. Weight in Grams: 365. . 1994. Hardback. . . . . Books ship from the US and Ireland. …

Condición: As New. Unread book in perfect condition.

HRD. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Condición: New. Print on Demand pp. 176.

Buch. Condición: Neu. Multidimensional Programming | Edward A. Ashcroft (u. a.) | Buch | Gebunden | Englisch | 1995 | Oxford University Press | EAN 9780195075977 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.…

Condición: New. Print on Demand pp. 176 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Buch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book describes a powerful language for multidimensional declarative programming called Lucid. Lucid has evolved considerably in the past ten years. The main catalyst for this metamorphosis was the discovery that Lucid is based on intensional logic, one commonly used in studying natural languages. Intensionality, and more specifically indexicality, has enabled Lucid to implicitly express multidimensional objects that change, a fundamental capability with several consequences which are explored in this book. The author covers a broad range of topics, from foundations to applications, and from implementations to implications. The role of intensional logic in Lucid as well as its consequences for programming in general is discussed. The syntax and mathematical semantics of the language are given and its ability to be used as a formal system for transformation and verification is presented. The use of Lucid in both multidimensional applications programming and software systems construction (such as a parallel programming system and a visual programming system) is described. A novel model of multidimensional computation--education--is described along with its serendipitous practical benefits for harnessing parallelism and tolerating faults. As the only volume that reflects the advances over the past decade, this work will be of great interest to researchers and advanced students involved with declarative language systems and programming.…

Condición: New. PRINT ON DEMAND pp. 176.