Idioma: Inglés
Publicado por Springer-Verlag, Wine and New York, 1997
ISBN 10: 3211829717 ISBN 13: 9783211829714
Librería: Second Story Books, ABAA, Rockville, MD, Estados Unidos de America
EUR 32,59
Cantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Large Octavo, xii, xiv, xv, 272 pages. In Very Good minus condition. Paperback binding. Spine gray with green and blue lettering. Covers have slight wear including previous bookshop's sticker to the front, sparse soiling and minor edge wear. Text block has slight wear including light age toning and minimal soiling to the edges. Frontispiece. Illustrated. NOTE: Shelved in Locked Annex, Column X. 1406055. FP New Rockville Stock.
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
EUR 43,28
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 52,84
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10: 3642333133 ISBN 13: 9783642333132
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 55,14
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations. This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 52,87
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer Verlag GmbH, Vienna, 1997
ISBN 10: 3211829717 ISBN 13: 9783211829714
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 55,16
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. The calculus of relations turned into an important conceptual and methodological tool in computer science. The methods presented in this book include questions of relational databases, applications to program specification, resource-conscious linear logic, semantic and refinement consideration, nonclassical logics for reasoning about programs, tabular methods in software construction, algorithm development, linguistic problems, followed by a comprehensive bibliography. The reader gets an overview of the wide-ranging applicability of relational methods in computer science. The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 52,90
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 51,74
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 51,74
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 51,74
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,30
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,13
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 58,61
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 59,94
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2015
ISBN 10: 3319247034 ISBN 13: 9783319247038
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Original o primera edición
EUR 72,11
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics. This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,77
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,87
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 57,08
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,83
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 59,73
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,83
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 61,86
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 63,42
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 74,65
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 292.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 76,28
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 372.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 77,99
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 476.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 64,59
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.