Order Total (1 Item Items):
Shipping Destination:
Manes Ernest (41 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (41)
- 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 (28)
- As New, Fine or Near Fine (4)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (4)
Binding
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (14)
- Not Print on Demand (29)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Predicate Transformer Semantics
Book 12 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge Univ Pr, West Nyack, New York, U.S.A., 1992
ISBN 10: 0521420369 ISBN 13: 9780521420365
Seller: Benjamin Books, Ottawa, ON, Canada
Seller rating 5 out of 5 stars
Condition: Very Good (+). hardcover.
-
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
US$ 65.79
US$ 20.75 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33) (Volume 0)
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Condition: New.
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33) (Volume 0)
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 82.82
US$ 16.05 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science)
Language: English
Published by Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521616107 ISBN 13: 9780521616102
US$ 78.89
US$ 20.75 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Algebraic Theories (Graduate Texts in Mathematics)
First Edition
Couverture rigide. Condition: Bon. Edition originale.
-
Algebraic Theories (Graduate Texts in Mathematics)
Seller: Wonder Book, Frederick, MD, U.S.A.
Seller rating 5 out of 5 stars
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.
-
Condition: New. pp. 372.
-
Arrows, Structures, and Functors: The Categorical Imperative
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
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 duties, taxes, or fees required by recipient's country. Photos available upon request.
-
Predicate Transformer Semantics: 33 (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521616107 ISBN 13: 9780521616102
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
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. Condition: Good. exlibrary hardcover no dust jacket. usual library markings, has some wear throughout.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 112.47
US$ 16.05 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Predicate Transformer Semantics: 33 (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
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.
-
US$ 109.24
US$ 20.75 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New. pp. 372.
-
Condition: New.
-
US$ 146.56
US$ 8.71 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: 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.
-
Predicate Transformer Semantics
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
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 specification 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.
-
US$ 163.23
US$ 16.74 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 366 pages. 9.25x6.10x1.10 inches. In Stock.
-
Predicate Transformer Semantics
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
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 specification 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.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
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.
-
US$ 263.50
US$ 33.49 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to baskethardcover. Condition: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
-
Algebraic Theories.
Published by Springer-Verlag 1976., 1976
Seller: Rönnells Antikvariat AB, Stockholm, Sweden
Seller rating 5 out of 5 stars
(10), 356 pp. Publisher's hardcover. A very good copy. (Graduate Texts in Mathematics, 26.).
-
Arrows, Structures and Functors: Categorical Imperative.
Published by Academic Press Inc. 1975., 1975
Condition: Gebraucht / Used. Hardcover. Good. Xiii,185pp.
-
Arrows, Structures and Functions - the Categorical Imperative
Published by New York Academic Press Inc, 1975
Seller: Chaucer Head Bookshop, Stratford on Avon, Stratford-Upon-Avon, United Kingdom
Seller rating 2 out of 5 stars
First Edition
US$ 117.27
US$ 28.13 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardback, 8vo maroon cloth boards, gilt titles, first edition, xiii prelims, 185pp. plus index, Very Good/NoWrapper. Boards are a little faded but book is basically tight, clean and solid, with no bumping. An introduction to the concepts of category theory underlying mathematics. Catalogue: Science. Keywords: Mathematics, category, theory This book may attract a higher postage charge than automatically calculated on the website in order to ensure that it is fully covered for an appropriate amount of compensation in the event of loss in the post. If so we will make contact to agree any additional postal charges before completing any transaction.
-
Condition: new. Questo è un articolo print on demand.
