Order Total (1 Item Items):
Shipping Destination:
Maibaum Abramsky (102 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (102)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (81)
- As New, Fine or Near Fine (14)
- Very Good or Good (6)
- Fair or Poor (1)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (34)
- Not Print on Demand (57)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8-12, 1991; Volume 1: Colloquium on Trees in Algebraand Programming (CAAP '91) (Lecture Notes in Computer Science 493)
Language: English
Published by Springer-Verlag, Berlin, 1991
ISBN 10: 3540539824 ISBN 13: 9783540539827
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Dust Jacket Condition: 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.
-
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991; Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development
Language: English
Published by Springer-Verlag, Berlin, 1991
ISBN 10: 3540539816 ISBN 13: 9783540539810
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Dust Jacket Condition: 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.
-
Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, Uk, April 8-12, 199
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1991
ISBN 10: 3540539816 ISBN 13: 9783540539810
Softcover. Condition: 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.
-
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ... (Lecture Notes in Computer Science, 494)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ... '91) (Lecture Notes in Computer Science, 493)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
-
Taschenbuch. Condition: 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.
-
Taschenbuch. Condition: 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.
-
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Handbook of Logic in Computer Science; Vol. 2: Background, Computational Structures (Handbook of Logic in Computer Science and Artificial In
Language: English
Published by Clarendon Press Ltd., 1992
ISBN 10: 0198537611 ISBN 13: 9780198537618
Hardcover. Condition: Très bon. Ancien livre de bibliothèque avec équipements. Edition 1992. 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 1992. Volume 2. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
Language: English
Published by Oxford University Press, 1992
ISBN 10: 0198537611 ISBN 13: 9780198537618
Condition: Sehr gut. X, 571 Seiten, Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 1020 gebundene Ausgabe gebundene Ausgabe.
-
hardcover. Condition: Very Good. Clarendon Press at Oxford University Press; Oxford, 1995. Hardcover. Advanced Copy with publisher slip laid in. A Very Good, navy blue cloth binding with gilt and green lettering on front board and gilt lettering on spine, binding sturdy and intact, small dent bottom front and rear board edge, some handling/scuffing to boards, small soiled spot top and bottom front board, bit cocked, some crimping to spine edges, few scuff marks to text block edges, without Dust wrapper. A nice, clean and unmarked copy. 4to[quarto or approx. 11.5 x 13.5 inches], 651pp., glossary, references, indexed. We pack securely and ship daily with delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.Please note: Oversized books/sets MAY require additional postage then what is quoted for 2.2lb book.
-
Handbook of Logic in Computer Science. Volume 3: Semantic Structures
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Fine. *Price HAS BEEN REDUCED by 10% until Monday, Apr. 20 (SALE item)* First edition, first printing, 490 pp., hardcover, fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request.
-
Handbook of Logic in Computer Science
Language: English
Published by Oxford University Press, Incorporated, 2001
ISBN 10: 0198537816 ISBN 13: 9780198537816
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures (eng)
Language: English
Published by Oxford University Press, 1993
ISBN 10: 0198537352 ISBN 13: 9780198537359
Condition: new.
-
Handbook of Logic in Computer Science : Semantic Modelling
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 366.06
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Handbook of Logic in Computer Science: Volume 3: Semantic Structures
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 373.34
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 373.34
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
hardcover. Condition: Good. Our good condition books are generally good for reading but not for gifting or collecting. They could have imperfections such as creasing, fanning, inscriptions, margin notes, yellowing, staining on edge or cover or pages, bumps, scuffs, etc etc (sometimes multiple of these). It's a wide category that encompasses anything that isn't almost-new down to anything that is slightly better than poor. We would NOT recommend gifting Good books - these should be considered reading copies. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only.
-
hardcover. Condition: Acceptable. Please see the condition note after this for details, if this is missing please consider Acceptable to mean poor quality that could include major staining, water damage, writing, missing dustjacket, etc etc. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only.
-
Handbook of Logic in Computer Science : Semantic Structures
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 373.33
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Handbook of Logic in Computer Science : Logic and Algebraic Methods
Language: English
Published by Oxford University Press, 2001
ISBN 10: 0198537816 ISBN 13: 9780198537816
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 397.11
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures (Hardcover)
Language: English
Published by Oxford University Press, Oxford, 2001
ISBN 10: 0198537816 ISBN 13: 9780198537816
Hardcover. Condition: new. Hardcover. This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas. The latest volume in this major reference work covers all major areas of application of logic and theoretical computer science Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
