Order Total (1 Item Items):
Shipping Destination:
Ernest Manes (34 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (34)
- 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 (22)
- As New, Fine or Near Fine (3)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (4)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (10)
- Not Print on Demand (23)
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.
-
Predicate Transformer Semantics
Book 12 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1992
ISBN 10: 0521420369 ISBN 13: 9780521420365
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
US$ 66.29
US$ 20.91 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
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$ 81.06
US$ 16.17 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$ 79.49
US$ 20.91 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Arrows, Structures, and Functions. The Categorical Imperative.
Language: English
Published by Academic Press, New York, 1975
ISBN 10: 0120590603 ISBN 13: 9780120590605
Seller: Antiquariat Renner OHG, Albstadt, Germany
Association Member: BOEV
Seller rating 5 out of 5 stars
Hardcover. Condition: Sehr gut. New York, Academic Press 1975. Some figs. XIII, 185 p. OCloth. Slightly browned.
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
US$ 72.28
US$ 33.74 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 110.68
US$ 16.17 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 110.07
US$ 20.91 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Condition: New. pp. 372.
-
Condition: New.
-
US$ 150.09
US$ 8.77 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.
-
hardcover. Condition: Gut. 353 Seiten; 9780387963242.3 Gewicht in Gramm: 1.
-
US$ 162.69
US$ 16.87 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
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.
-
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$ 241.88
US$ 33.74 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.
-
Arrows, Structures and Functors: Categorical Imperative.
Published by Academic Press Inc. 1975., 1975
Condition: Gebraucht / Used. Hardcover. Good. Xiii,185pp.
-
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 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 4 out of 5 stars
First Edition
US$ 118.16
US$ 28.34 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.
-
Predicate Transformer Semantics (Paperback)
Language: English
Published by Cambridge University Press, Cambridge, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
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. 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. 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.
-
US$ 82.03
US$ 13.50 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 1st edition. 223 pages. 9.50x7.25x0.50 inches. In Stock. This item is printed on demand.
-
Condition: new. Questo è un articolo print on demand.
-
Predicate Transformer Semantics
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 87.70
US$ 20.72 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Category Theory Applied to Computation and Control
Language: English
Published by Springer Berlin Heidelberg, 1975
ISBN 10: 3540071423 ISBN 13: 9783540071426
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Basic concepts of category theory applicable to computation and control.- A control theorist looks at abstract nonsense.- A Categorist s view of automata and systems.- Categorical theory of tree processing.- Realization of multilinear and multidecomposable .
-
Predicate Transformer Semantics (Paperback)
Language: English
Published by Cambridge University Press, Cambridge, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
US$ 91.03
US$ 49.94 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. 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. 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. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Predicate Transformer Semantics
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.Inhaltsverzeichnis1. Finite coproducts 2. Structure of a Boolean category.
