Giuseppe Rosolini
Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings

jaquette album Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings

Auteur(s) : Giuseppe Rosolini
Date de publication : 13-06-2008
Edition : Springer
Type : Broche

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.

Cote de Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings

53 €
= stable
Sur 12 mois : de 53 € à 58 €  ·  Prix moyen : 54 €
Fiabilité : +++ Élevée — Le prix reste proche de la cote (écart typique ±0 €).
Cote calculée sur les 12 derniers mois

Évolution de la cote — médiane mensuelle sur 12 mois

Plus le chiffre est bas, plus le livre se vend.

Le produit a bien été ajouté au panier
Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
Etat : N/A
Prix : 0
Total, 0 article : 0
Voir mon panier