Ernest manes (13 Ergebnisse)
- Hardcover
Anbieter: Wonder Book, Frederick, MD, USAWonder Book
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 53,57
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: 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
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 76,01
EUR 14,01 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USAZubal-Books, Since 1961
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 88,61
EUR 3,90 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Very Good. *Price HAS BEEN REDUCED by 10% until Monday, August 17 (SALE item)* 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.
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 101,66
EUR 9,10 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: 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 Co…mputer 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
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 98,21
EUR 14,01 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,86
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 140,94
EUR 14,62 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 366 pages. 9.25x6.10x1.10 inches. In Stock.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 99,92
EUR 62,33 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 speci…fication 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.
- Hardcover
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, DeutschlandRoland Antiquariat UG haftungsbeschränkt
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 179,60
EUR 42,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 499,90
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: gut. 1986. Algebraic Approaches to Program Semantics (Monographs in Computer Science) In englischer Sprache. pages.
Verlag: Springer-Verlag 1976., 1976
- Hardcover
Anbieter: Rönnells Antikvariat AB, Stockholm, SchwedenRönnells Antikvariat AB
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 60,72
EUR 26,00 VersandVersand von Schweden nach USAAnzahl: 1 verfügbar
In den Warenkorb(10), 356 pp. Publisher's hardcover. A very good copy. (Graduate Texts in Mathematics, 26.).
Verlag: Academic Press Inc. 1975., 1975
- Hardcover
Anbieter: Antiquariaat Ovidius, Bredevoort, NiederlandeAntiquariaat Ovidius
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 74,00
EUR 22,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Gebraucht / Used. Hardcover. Good. Xiii,185pp.
Verlag: New York Academic Press Inc, 1975
- Hardcover
- Erstausgabe
Anbieter: Chaucer Head Bookshop, Stratford on Avon, Stratford-Upon-Avon, Vereinigtes KönigreichChaucer Head Bookshop, Stratford on Avon
Verkäufer/-in kontaktierenVerkäufer/-in mit 2 SternenZustand: Gebraucht
EUR 102,40
EUR 24,56 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardback, 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, catego…ry, 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.
