S abramsky (107 risultati)

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

Condizione: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…

Paperback. Condizione: Very Good. No Dust Jacket. Lecture Notes in Computer Science 494; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.…

Paperback. Condizione: Very Good. No Dust Jacket. Lecture Notes in Computer Science 493; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.…

Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 1991. Tome 2. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Volume 2. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Condizione: New. Editor(s): Abramsky, Chimen; Williams, Beryl J. Num Pages: 387 pages, biography. BIC Classification: HBJD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 603. . 1974. 1st ed. 1974. paperback. . . . .

Hb. with 6 maps. Good.

Condizione: New. Editor(s): Abramsky, Chimen; Williams, Beryl J. Num Pages: 387 pages, biography. BIC Classification: HBJD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 603. . 1974. 1st ed. 1974. paperback. . . . . Books ship from the US and Ireland.

Hb. Dj. with 6 maps. G+.

Hardcover. Condizione: Very Good. Condizione sovraccoperta: Very Good. 244pp. Text is in Hebrew.

Condizione: New. pp. 480.

Hardcover. Condizione: Very Good. No Jacket. First Edition. No jacket present. Some rubbing to covers, light bumps to spine ends and bottom corners. One long but light scratch to front cover. A very clean copy inside, no marks to any text. Binding very tight. Covers still nice looking and bright, overall. …

Condizione: New. pp. 480 1st Edition.

Wrappers (paperback) viii pp. text in English and (106) pages in Hebrew. + 20 loose plates. Together in portfolio.; 28x23 cm. - (sl. browned, some foxing, few notes/ names on inside cover of portfolio, although still good - see image) 890g.

Condizione: New. pp. 480.

Condizione: New. In.

Condizione: New. In.

PF. Condizione: New.

Paperback. Condizione: New.

Condizione: New. Editor(s): Abramsky, Samson; Kontinen, Juha; Vaananen, Jouko; Vollmer, Heribert. Num Pages: 290 pages, 23 black & white illustrations, biography. BIC Classification: PBC; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 602. . 2016. Hardback. . . . . …

Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Condizione: New. pp. 468.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Colloquium on Trees in Algebra and Programming (CAAP); - Advances in Distributed Computing (ADC); - Colloquium on Combining Paradigms for Software Development (CCPSD). The first part (CAAP) is contained in Vol. 1, the other two parts constitute Vol. 2. CAAP '91 focuses on the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered in the broad sense as that of sets of discrete structures and the theory of rewriting systems over them. - Application of discrete structures in computer science: syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of structured objects. The ADC talks by distinguished invited speakers survey current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software engineering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches. …

Condizione: New. Editor(s): Abramsky, Samson; Kontinen, Juha; Vaananen, Jouko; Vollmer, Heribert. Num Pages: 290 pages, 23 black & white illustrations, biography. BIC Classification: PBC; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 602. . 2016. Hardback. . . . . Books ship from the US and Ireland. …

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches. …

Hardcover. Condizione: Very Good. Condizione sovraccoperta: Very Good. Hard Cover - VG/VG - Book and dust jacket are clean and tight with light wear - 266 pages.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Hardcover. Condizione: gut. Handbook of Logic in Computer Science; Vol. 2: Background, Computational Structures (Handbook of Logic in Computer Science and Artificial In In englischer Sprache. pages.