Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings (Lecture Notes in Computer Science, 1290, Band 1290) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Category Theory and Computer Science: 7th International...
Beispielbild für diese ISBN
Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings (Lecture Notes in Computer Science, 1290)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020172979
Neu kaufen
EUR 52,74
Versand:
EUR 3,43
Innerhalb der USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings (Lecture Notes in Computer Science, 1290)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540634553_new
Neu kaufen
EUR 57,73
Versand:
EUR 13,62
Von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings (Lecture Notes in Computer Science)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540634553
Neu kaufen
EUR 55,98
Versand:
EUR 17,61
Von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Foto des Verkäufers
Category Theory and Computer Science
Verlag:
Springer Berlin Heidelberg, Springer Aug 1997, 1997
ISBN 10: 354063455X
ISBN 13: 9783540634553
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540634553
Neu kaufen
EUR 53,49
Versand:
EUR 23,00
Von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Category Theory and Computer Science
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Bestandsnummer des Verkäufers 4896344
Neu kaufen
EUR 48,37
Versand:
EUR 48,99
Von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Category Theory and Computer Science
ISBN 10: 354063455X
ISBN 13: 9783540634553
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. 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. Bestandsnummer des Verkäufers 9783540634553
Neu kaufen
EUR 53,49
Versand:
EUR 60,00
Von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Category Theory and Computer Science : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540634553
Neu kaufen
EUR 53,49
Versand:
EUR 62,50
Von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings (Lecture Notes in Computer Science, 1290)
Anbieter: BennettBooksLtd, San Diego, NV, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: New. In shrink wrap. Looks like an interesting title! Bestandsnummer des Verkäufers Q-354063455X
Beispielbild für diese ISBN
Category Theory and Computer Science
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 328. Bestandsnummer des Verkäufers 263098688
Beispielbild für diese ISBN
Category Theory and Computer Science
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 328 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 5830559
Neu kaufen
EUR 143,30
Versand:
EUR 7,39
Von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar