Winskel (55 Ergebnisse)

Hardcover. Zustand: Very Good. First Edition. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

Hardcover. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:9781849710848. …

Hardback. Zustand: Very Good.

Zustand: New.

Zustand: Very Good.

Paperback. Zustand: New. Brand new book, sourced directly from publisher. Dispatch time is 7-8 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

Zustand: New.

Zustand: New.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - On the axiomatic treatment of concurrency.- Hierarchical development of concurrent systems in a temporal logic framework.- On the composition and decomposition of assertions.- Process algebra with asynchronous communication mechanisms.- Axioms for memory access in asynchronous hardware systems.- Executing temporal logic programs.- The static derivation of concurrency and its mechanized certification.- Semantic considerations in the actor paradigm of concurrent computation.- The pomset model of parallel processes: Unifying the temporal and the spatial.- Lectures on a calculus for communicating systems.- Concurrent behaviour: Sequences, processes and axioms.- Categories of models for concurrency.- Maximally concurrent evolution of non-sequential systems.- An improved failures model for communicating processes.- Denotational semantics for occam.- Linguistic support of receptionists for shared resources.- Applications of topology to semantics of communicating processes.- Denotational models based on synchronously communicating processes: Refusal, acceptance, safety.- The ESTEREL synchronous programming language and its mathematical semantics.- An implementation model of rendezvous communication.- A fully abstract model of fair asynchrony.- Alternative semantics for McCarthy's amb.- Semantics of networks containing indeterminate operators.- Abstract interpretation and indeterminacy.- The NIL distributed systems programming language: A status report.…

Zustand: New.

Paperback. Zustand: Brand New. reprint edition. 408 pages. 9.21x6.14x0.92 inches. In Stock.

Zustand: New. The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. Series: Foundations of Computing. Num Pages: 384 pages, Ill. BIC Classification: UM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 228 x 180 x 19. Weight in Grams: 632. . 1993. Paperback. . . . . …

Zustand: New. In English.

Paperback. Zustand: New.

Taschenbuch. Zustand: Neu. Seminar on Concurrency | Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 | Stephen D. Brookes (u. a.) | Taschenbuch | x | Englisch | 1985 | Springer | EAN 9783540156703 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - A large body of knowledge has accumulated in recent years on the cognitive processes underlying language, much of which comes from studies of Indo-European languages, in particular English. This groundbreaking volume explores the languages of South and Southeast Asia, which differ significantly from Indo-European languages in their grammar, lexicon and spoken forms. This book raises new questions in psycholinguistics and enables readers to re-evaluate previous models in light of new research. With thirty-six chapters divided into three parts - Language Acquisition, Language Processing and Language and Brain - it examines contemporary topics alongside new findings in areas such as first and second language acquisition, the development of literacy, the diagnosis of language and reading disorders, and the relationship between language, brain, culture and cognition. It will be invaluable to all those interested in the languages of South and Southeast Asia, as well as psychologists, linguists, educationalists, speech therapists and neuroscientists.…

Zustand: New. The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. Series: Foundations of Computing. Num Pages: 384 pages, Ill. BIC Classification: UM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 228 x 180 x 19. Weight in Grams: 632. . 1993. Paperback. . . . . Books ship from the US and Ireland. …

Paperback. Zustand: Brand New. 384 pages. 8.75x6.75x0.75 inches. In Stock.

Zustand: As New. Unread book in perfect condition.

Zustand: New. This book constitutes the refereed proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP 98, held in Aalborg, Denmark, in July 1998.The 70 revised full papers presented together with eight invited contributions w.

Zustand: New. In English.

Paperback. Zustand: Brand New. 1st edition. 932 pages. 9.00x6.00x1.50 inches. In Stock.

Hardcover. Zustand: new. Hardcover. A large body of knowledge has accumulated in recent years on the cognitive processes underlying language, much of which comes from studies of Indo-European languages, in particular English. This groundbreaking volume explores the languages of South and Southeast Asia, which differ significantly from Indo-European languages in their grammar, lexicon and spoken forms. This book raises new questions in psycholinguistics and enables readers to re-evaluate previous models in light of new research. With thirty-six chapters divided into three parts - Language Acquisition, Language Processing and Language and Brain - it examines contemporary topics alongside new findings in areas such as first and second language acquisition, the development of literacy, the diagnosis of language and reading disorders, and the relationship between language, brain, culture and cognition. It will be invaluable to all those interested in the languages of South and Southeast Asia, as well as psychologists, linguists, educationalists, speech therapists and neuroscientists. This groundbreaking volume explores the languages of South and Southeast Asia, which differ significantly from Indo-European languages in their grammar, lexicon and spoken forms. This book raises new questions in psycholinguistics and enables readers to re-evaluate previous models in light of new research. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…