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 (4)
- Bueno o Aceptable (5)
- 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 (14)
- No impresión bajo demanda (29)
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,55
Envío por EUR 10,53
Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good (+). hardcover.
-
Algebraic Theories
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 58,12
Envío por EUR 2,32
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
Algebraic Theories
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 68,15
Envío por EUR 2,32
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
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 57,50
Envío por EUR 18,13
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33) (Volume 0)
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 77,69
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.
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33) (Volume 0)
Idioma: Inglés
Publicado por Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 72,38
Envío por EUR 14,02
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
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 68,95
Envío por EUR 18,13
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: MikeLab, 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 carritoCouverture rigide. Condición: Bon. Edition originale.
-
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 90,33
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 Theories
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 88,33
Envío por EUR 3,50
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 372.
-
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 90,54
Envío por EUR 3,95
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.
-
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. . . . .
-
Algebraic Theories (Graduate Texts in Mathematics)
Librería: mountain, GEORGETOWN, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 104,06
Envío por EUR 4,39
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Good. exlibrary hardcover no dust jacket. usual library markings, has some wear throughout.
-
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 98,30
Envío por EUR 14,02
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
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 102,85
Envío por EUR 9,21
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: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 95,47
Envío por EUR 18,13
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Algebraic Approaches to Program Semantics
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 113,36
Envío por EUR 2,32
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
Algebraic Approaches to Program Semantics
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 113,78
Envío por EUR 2,32
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
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 127,90
Envío por EUR 3,50
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 372.
-
Algebraic Approaches to Program Semantics
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 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.
-
Algebraic Approaches to Program Semantics
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 132,41
Envío por EUR 7,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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
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 45,18
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 142,66
Envío por EUR 14,63
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.
-
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 99,92
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 230,29
Envío por EUR 29,27
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 64,24
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: 2 de 5 estrellas
Original o primera edición
EUR 102,49
Envío por EUR 24,58
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.
-
Algebraic Approaches to Program Semantics (eng)
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 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.
