Ernest Manes (39 results)
Language: English
Published by Cambridge Univ Pr, West Nyack, New York, U.S.A. 1992
Series: Cambridge Tracts in Theoretical Computer Science, Book 12 of 40. Book 12 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Benjamin Books, Ottawa, CanadaBenjamin Books
Contact seller5-star sellerCondition: Used - Very good
£ 11.59
£ 9.00 shippingShips from Canada to U.S.A.Quantity: 1 available
Condition: Very Good (+). hardcover.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.69
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: California Books, Miami, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 66.43
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Trumpington Fine Books Limited, Gilmilnscroft, Ayrshire, Scotland, United KingdomTrumpington Fine Books Limited
Contact seller4-star sellerCondition: Used - Very good
£ 43.00
£ 21.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
hardcover. Condition: Very Good Plus. 185pp. 1975. First edition. Large 8vo. sized. A very good plus, clean, tight and bright copy in original publisher's maroon cloth boards - gilt embossed to the spine and to the front board. The tail of the spine a little bumped and a little spotting to the upper fore-edge. A very good plus,…clean, tight and bright copy.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 70.46
£ 2.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 372.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 60.03
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 57.18
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Hardcover
- First Edition
Seller: JulielaB, Saint-Gilles, BelgiumJulielaB
Contact seller2-star sellerCondition: Used - Near fine
£ 62.30
£ 12.53 shippingShips from Belgium to U.S.A.Quantity: 1 available
Couverture rigide. Condition: Bon. Edition originale.
- Hardcover
Seller: Antiquariat Renner OHG, Albstadt, GermanyAntiquariat Renner OHG
Contact seller5-star sellerCondition: Used - Near fine
£ 35.60
£ 38.88 shippingShips from Germany to U.S.A.Quantity: 1 available
Hardcover. Condition: Sehr gut. New York, Academic Press 1975. Some figs. XIII, 185 p. OCloth. Slightly browned.
- Hardcover
Seller: Zubal-Books, Since 1961, Cleveland, U.S.A.Zubal-Books, Since 1961
Contact seller5-star sellerCondition: Used - Very good
£ 77.24
£ 3.37 shippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. First edition, first printing, 185 pp., hardcover, previous owner's name to the front paste down, corners rubbed, else very good. - 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 du…ties, taxes, or fees required by recipient's country. Photos available upon request.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 72.04
£ 9.07 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical…Computer Science. Num Pages: 236 pages, black & white illustrations. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 13. Weight in Grams: 430. . 2008. Illustrated. paperback. . . . .
- Hardcover
Seller: Moe's Books, Berkeley, U.S.A.Moe's Books
Contact seller4-star sellerCondition: Used - Very good
£ 77.24
£ 4.87 shippingShips within U.S.A.Quantity: 1 available
Hard cover. Condition: Very good. No jacket. Cover is lightly worn on corners, but text and images are clear and bright. Binding is tight. Light watermarks on front endpaper and through first pages. Inside is otherwise clean and unmarked.
- Softcover
Seller: Kennys Bookstore, Olney, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 87.93
£ 7.87 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical…Computer Science. Num Pages: 236 pages, black & white illustrations. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 13. Weight in Grams: 430. . 2008. Illustrated. paperback. . . . . Books ship from the US and Ireland.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 81.52
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 79.18
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Hardcover
Seller: Wonder Book, Frederick, U.S.A.Wonder Book
Contact seller5-star sellerCondition: Used - Good
£ 100.40
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 105.13
£ 2.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 372.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 71.97
£ 42.33 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 110.00
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. 372 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 118.03
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 366 pages. 9.25x6.10x1.10 inches. In Stock.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 40.21
£ 90.73 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between spe…cification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 79.40
£ 53.86 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between spe…cification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 74.67
£ 60.48 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Algebraic Approaches to Program Semantics | Ernest G. Manes (u. a.) | Taschenbuch | Monographs in Computer Science | xiii | Englisch | 2014 | Springer | EAN 9781461293774 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[d…ot]com | Anbieter: preigu.
- Hardcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermanyRoland Antiquariat UG haftungsbeschränkt
Contact seller5-star sellerCondition: Used
£ 159.84
£ 36.29 shippingShips from Germany to U.S.A.Quantity: 1 available
Hardcover. 351 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Retired library copy with corresponding markings. Joint slightly loose. Otherwise, a neat copy. 9780387963242 Sprache: Englisch Gewicht in Gramm: 1000.
- Hardcover
Seller: Mispah books, Redhill, United KingdomMispah books
Contact seller4-star sellerCondition: Used - Good
£ 191.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
hardcover. Condition: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
Published by Springer-Verlag 1976. 1976
- Hardcover
Seller: Rönnells Antikvariat AB, Stockholm, SwedenRönnells Antikvariat AB
Contact seller5-star sellerCondition: Used
£ 56.29
£ 22.47 shippingShips from Sweden to U.S.A.Quantity: 1 available
(10), 356 pp. Publisher's hardcover. A very good copy. (Graduate Texts in Mathematics, 26.).
Published by Academic Press Inc. 1975. 1975
- Hardcover
Seller: Antiquariaat Ovidius, Bredevoort, NetherlandsAntiquariaat Ovidius
Contact seller4-star sellerCondition: Used
£ 65.86
£ 19.01 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: Gebraucht / Used. Hardcover. Good. Xiii,185pp.
- Softcover
- Print on Demand
Seller: Grand Eagle Retail, Bensenville, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 66.42
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Bo…olean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science. This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, ItalyBrook Bookstore On Demand
Contact seller3-star sellerCondition: New
£ 67.50
£ 5.88 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
- Softcover
- Print on Demand
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 62.32
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 1st edition. 223 pages. 9.50x7.25x0.50 inches. In Stock. This item is printed on demand.
