Winskel (102 results)

Condition: Good. 1st Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

paperback. Condition: Very Good. Very Good Condition - May show some limited signs of wear and may have a remainder mark. Pages and dust cover are intact and not marred by notes or highlighting.

Condition: 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. …

Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.

Condition: New.

Paperback. Condition: 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.

Condition: Very Good.

Condition: 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.

Paperback. Condition: new. New Copy. Customer Service Guaranteed.

Hardback. Condition: Very Good.

Paperback. Condition: New.

Condition: New.

Condition: New. In English.

Condition: New. In English.

Condition: New.

Condition: New.

Condition: New. pp. 489.

Paperback. Condition: New.

Condition: New.

Taschenbuch. Condition: 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.…

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Condition: New. In English.

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

Paperback. Condition: New.

Condition: 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. . . . . …

Condition: As New. Unread book in perfect condition.

Taschenbuch. Condition: 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.…