Importe total (1 artículo artículos):
Destino del pedido:
ernest manes (41 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (41)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (28)
- Como nuevo, Excelente o Muy bueno (3)
- Bueno o Aceptable (6)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (4)
Encuadernación
Más atributos
- Primera edición (2)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (1)
- Con imágenes (10)
- No impresión bajo demanda (26)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Predicate Transformer Semantics
Libro 12 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge Univ Pr, West Nyack, New York, U.S.A., 1992
ISBN 10: 0521420369 ISBN 13: 9780521420365
Librería: Benjamin Books, Ottawa, ON, Canada
Miembro de asociación: ABAC ILAB
Calificación del vendedor: 5 de 5 estrellas
EUR 13,31
Envío por EUR 10,34
Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good (+). hardcover.
-
Category Theory Applied to Computation and Control : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,69
Envío por EUR 17,88
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Arrows, Structures and Functors: Categorical Imperative
Librería: Trumpington Fine Books Limited, Gilmilnscroft, Ayrshire, Scotland, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 51,12
Envío por EUR 24,24
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: 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.
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
Idioma: Inglés
Publicado por Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 76,32
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Algebraic Theories
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 80,95
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 372.
-
Algebraic Theories (Graduate Texts in Mathematics)
Librería: JulielaB, Saint-Gilles, Belgica
Calificación del vendedor: 2 de 5 estrellas
Original o primera edición
EUR 70,00
Envío por EUR 14,50
Se envía de Belgica a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito -
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science)
Idioma: Inglés
Publicado por Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521616107 ISBN 13: 9780521616102
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 67,98
Envío por EUR 17,88
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Arrows, Structures, and Functions. The Categorical Imperative.
Idioma: Inglés
Publicado por Academic Press, New York, 1975
ISBN 10: 0120590603 ISBN 13: 9780120590605
Librería: Antiquariat Renner OHG, Albstadt, Alemania
Miembro de asociación: BOEV
Calificación del vendedor: 5 de 5 estrellas
EUR 40,00
Envío por EUR 45,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Sehr gut. New York, Academic Press 1975. Some figs. XIII, 185 p. OCloth. Slightly browned.
-
Arrows, Structures, and Functors: The Categorical Imperative
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 88,74
Envío por EUR 3,88
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
-
Arrows, Structures, and Functors: The Categorical Imperative
Librería: Moe's Books, Berkeley, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 88,74
Envío por EUR 5,60
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHard cover. Condición: 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.
-
Predicate Transformer Semantics: 33 (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521616107 ISBN 13: 9780521616102
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 80,94
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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. . . . .
-
Predicate Transformer Semantics: 33 (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
Idioma: Inglés
Publicado por Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 101,02
Envío por EUR 9,05
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 96,19
Envío por EUR 13,83
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 94,13
Envío por EUR 17,88
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Algebraic Theories (Graduate Texts in Mathematics)
Librería: Wonder Book, Frederick, MD, Estados Unidos de America
Miembro de asociación: ABAA ILAB
Calificación del vendedor: 5 de 5 estrellas
EUR 115,35
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
-
Algebraic Approaches to Program Semantics
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 120,78
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 372.
-
Algebraic Approaches to Program Semantics
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 80,86
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Predicate Transformer Semantics
Idioma: Inglés
Publicado por Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 29,90
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 140,25
Envío por EUR 14,43
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 366 pages. 9.25x6.10x1.10 inches. In Stock.
-
Algebraic Approaches to Program Semantics
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 83,90
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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[dot]com | Anbieter: preigu.
-
Predicate Transformer Semantics
Idioma: Inglés
Publicado por Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 94,90
Envío por EUR 62,33
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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)
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 179,60
Envío por EUR 42,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. 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.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 227,05
Envío por EUR 28,85
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
-
Algebraic Theories.
Publicado por Springer-Verlag 1976., 1976
Librería: Rönnells Antikvariat AB, Stockholm, Suecia
Miembro de asociación: ILAB SVAF
Calificación del vendedor: 5 de 5 estrellas
EUR 65,13
Envío por EUR 26,00
Se envía de Suecia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito(10), 356 pp. Publisher's hardcover. A very good copy. (Graduate Texts in Mathematics, 26.).
-
Arrows, Structures and Functors: Categorical Imperative.
Publicado por Academic Press Inc. 1975., 1975
Librería: Antiquariaat Ovidius, Bredevoort, Holanda
Calificación del vendedor: 4 de 5 estrellas
EUR 74,00
Envío por EUR 22,00
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Gebraucht / Used. Hardcover. Good. Xiii,185pp.
-
Arrows, Structures and Functions - the Categorical Imperative
Publicado por New York Academic Press Inc, 1975
Librería: Chaucer Head Bookshop, Stratford on Avon, Stratford-Upon-Avon, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Original o primera edición
EUR 101,04
Envío por EUR 24,24
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardback, 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)
Idioma: Inglés
Publicado por Cambridge University Press, Cambridge, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 76,31
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: 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.
-
Algebraic Approaches to Program Semantics (eng)
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 4 de 5 estrellas
EUR 75,84
Envío por EUR 6,80
Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
-
Predicate Transformer Semantics
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 74,08
Envío por EUR 11,54
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 223 pages. 9.50x7.25x0.50 inches. In Stock. This item is printed on demand.
-
Algebraic Theories
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 80,20
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 372.
