Importe total (1 artículo artículos):
Destino del pedido:
9781107004979 - Advanced Topics in Bisimulation and Coinduction Hardback: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52) de Sangiorgi; Rutten (20 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (20)
- 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 (17)
- Como nuevo, Excelente o Muy bueno (3)
- Bueno o Aceptable (No hay ningún otro resultado que coincida con este filtro.)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (20)
- Tapa blanda (No hay ningún otro resultado que coincida con este filtro.)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (5)
- No impresión bajo demanda (12)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 45 (No hay ningún otro resultado que coincida con este filtro.)
- Más de EUR 45
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Advanced Topics in Bisimulation and Coinduction
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 151,51
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 154,01
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.
-
Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 144,66
Envío por EUR 13,85
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In English.
-
Advanced Topics in Bisimulation and Coinduction
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 143,55
Envío por EUR 17,34
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Advanced Topics in Bisimulation and Coinduction
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 163,62
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. Seven articles survey the state of the art. Discusses various aspects of the subject, with an emphasis on process theory. Editor(s): Sangiorgi, Davide; Rutten, Jan. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 340 pages, 20 b/w illus. 110 exercises. BIC Classification: UB; UMX; UYA. Category: (U) Tertiary Education (US: College). Dimension: 237 x 162 x 24. Weight in Grams: 614. . 2011. Hardback. . . . .
-
Advanced Topics in Bisimulation and Coinduction
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press CUP, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 200,99
Envío por EUR 3,43
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 340.
-
Advanced Topics in Bisimulation and Coinduction
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 204,17
Envío por EUR 9,02
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Seven articles survey the state of the art. Discusses various aspects of the subject, with an emphasis on process theory. Editor(s): Sangiorgi, Davide; Rutten, Jan. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 340 pages, 20 b/w illus. 110 exercises. BIC Classification: UB; UMX; UYA. Category: (U) Tertiary Education (US: College). Dimension: 237 x 162 x 24. Weight in Grams: 614. . 2011. Hardback. . . . . Books ship from the US and Ireland.
-
Advanced Topics in Bisimulation and Coinduction
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 203,17
Envío por EUR 14,45
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 1st edition. 340 pages. 9.50x6.50x1.00 inches. In Stock.
-
Advanced Topics in Bisimulation and Coinduction
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 174,45
Envío por EUR 63,24
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Seven articles survey the state of the art. Discusses various aspects of the subject, with an emphasis on process theory.
-
Advanced Topics in Bisimulation and Coinduction
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 278,67
Envío por EUR 17,34
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 269,15
Envío por EUR 28,91
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Advanced Topics in Bisimulation and Coinduction
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 304,19
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Advanced Topics in Bisimulation and Coinduction (Hardcover)
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, Cambridge, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 153,85
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics. Seven chapters deal with various aspects of bisimulation and coinduction: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Advanced Topics in Bisimulation and Coinduction
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 157,74
Envío por EUR 14,45
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Brand New. 1st edition. 340 pages. 9.50x6.50x1.00 inches. In Stock. This item is printed on demand.
-
Advanced Topics in Bisimulation and Coinduction (Hardcover)
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, Cambridge, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: CitiRetail, Stevenage, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 154,81
Envío por EUR 42,78
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics. Seven chapters deal with various aspects of bisimulation and coinduction: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Advanced Topics in Bisimulation and Coinduction
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 149,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. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Über den AutorDavide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy. Jan Rutten is a senior researcher at Centrum Wiskunde and Informatica (CWI) in Amsterdam and Professor of Theoretical Compute.
-
Advanced Topics in Bisimulation and Coinduction
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 205,77
Envío por EUR 7,52
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 340 20 Illus.
-
Advanced Topics in Bisimulation and Coinduction
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 209,40
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. 340.
-
Advanced Topics in Bisimulation and Coinduction
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 155,40
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoBuch. Condición: Neu. Advanced Topics in Bisimulation and Coinduction | Davide Sangiorgi (u. a.) | Buch | Gebunden | Englisch | 2011 | Cambridge University Press | EAN 9781107004979 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
-
Advanced Topics in Bisimulation and Coinduction (Hardcover)
Libro 32 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, Cambridge, 2011
ISBN 10: 1107004977 ISBN 13: 9781107004979
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 218,49
Envío por EUR 31,80
Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics. Seven chapters deal with various aspects of bisimulation and coinduction: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
