你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada category theory and computer science
category theory and computer sciencecategory theory and computer science
Type
Physical Book
Publisher
Language
English
Pages
313
ISBN
354063455X
ISBN13
9783540634553

category theory and computer science

Cheaper New Book Imported to Taiwan
Delivery: 29 Oct - 11 Nov Shipping: 14 to 18 business days.
NT$ 1,865
Faster New Book Imported to Taiwan
Delivery: 16 Oct - 26 Oct Shipping: 5 to 6 business days.
NT$ 2,364
NT$ 1,865

Synopsis "category theory and computer science"

this book constitutes the refereed proceedings of the 7th international conference on category theory and computer science, ctcs97, 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.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews