Gesamtpreis (1 Artikel Artikel):
Versandziel:
manes ernest g (15 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (15)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (8)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (2)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (4)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (6)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Category theory applied to computation and control: Proceedings of the first international symposium, San Francisco, February 25-26, 1974 (Lecture notes in computer science)
Anbieter: Wonder Book, Frederick, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 26,35
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
-
Foundations of system theory : finitary and infinitary conditions. Lecture notes in economics and mathematical systems ; 115 : Systems theory
Verlag: Berlin, Heidelberg, New York : Springer, 1976
ISBN 10: 3540076115 ISBN 13: 9783540076117
Sprache: Englisch
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 19,95
Währung umrechnenEUR 7,95 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbBroschiert. Zustand: Gut. VI, 93 S. : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache! Sprache: Englisch Gewicht in Gramm: 250.
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
Verlag: Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Sprache: Englisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 68,67
Währung umrechnenEUR 13,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Seminar on Triples and Categorical Homology Theory
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1969
ISBN 10: 3540046011 ISBN 13: 9783540046011
Sprache: Englisch
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 98,09
Währung umrechnenEUR 8,96 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New. Editor(s): Eckmann, Beno. Series: Lecture Notes in Mathematics. Num Pages: 412 pages, biography. BIC Classification: PB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 1270. . 1969. Paperback. . . . . Books ship from the US and Ireland.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 93,46
Währung umrechnenEUR 13,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
EUR 80,86
Währung umrechnenEUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Algebraic Approaches to Program Semantics
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 128,03
Währung umrechnenEUR 7,45 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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
Verlag: Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Sprache: Englisch
EUR 36,74
Währung umrechnenEUR 105,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Predicate Transformer Semantics
Verlag: Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 94,90
Währung umrechnenEUR 62,33 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. 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 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)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 138,19
Währung umrechnenEUR 28,67 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 366 pages. 9.25x6.10x1.10 inches. In Stock.
-
Algebraic Approaches to Program Semantics
Verlag: Springer-Verlag New York Inc., 2014
ISBN 10: 1461293774 ISBN 13: 9781461293774
Sprache: Englisch
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 166,87
Währung umrechnenEUR 8,96 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New. Series: Monographs in Computer Science. Num Pages: 366 pages, biography. BIC Classification: UM; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 158 x 234 x 24. Weight in Grams: 566. . 2014. Paperback. . . . . Books ship from the US and Ireland.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 179,60
Währung umrechnenEUR 14,95 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. 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.
-
Arrows, Structures and Functors: Categorical Imperative.
Verlag: Academic Press Inc. 1975., 1975
Anbieter: Antiquariaat Ovidius, Bredevoort, Niederlande
Verkäuferbewertung 4 von 5 Sternen
EUR 74,00
Währung umrechnenEUR 22,00 für den Versand von Niederlande nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Gebraucht / Used. Hardcover. Good. Xiii,185pp.
-
Algebraic Theories.
Verlag: Springer-Verlag 1976., 1976
Anbieter: Rönnells Antikvariat AB, Stockholm, Schweden
Verkäuferbewertung 4 von 5 Sternen
EUR 64,50
Währung umrechnenEUR 52,00 für den Versand 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.).
-
Arrows, Structures and Functions - the Categorical Imperative
Verlag: New York Academic Press Inc, 1975
Anbieter: Chaucer Head Bookshop, Stratford on Avon, Stratford-Upon-Avon, Vereinigtes Königreich
Verkäuferbewertung 3 von 5 Sternen
Erstausgabe
EUR 100,40
Währung umrechnenEUR 24,08 für den Versand 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, 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.
