Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 62,11
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Publicado por Springer Berlin Heidelberg, 1997
ISBN 10: 354063455X ISBN 13: 9783540634553
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 58,96
Convertir monedaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Publicado por Springer Berlin Heidelberg, 1997
ISBN 10: 354063455X ISBN 13: 9783540634553
Idioma: Inglés
Librería: moluna, Greven, Alemania
EUR 64,08
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS 97, held in Santa Margheria Ligure, Italy, in September 1997.Category theory attracts interest in the theoretical computer s.
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 354063455X ISBN 13: 9783540634553
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 74,89
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 53,91
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: BennettBooksLtd, North Las Vegas, NV, Estados Unidos de America
EUR 122,34
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New. In shrink wrap. Looks like an interesting title!
Publicado por Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 354063455X ISBN 13: 9783540634553
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 74,89
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems. 328 pp. Englisch.