Skip to main content

- Bokmål
- Čeština
- Dansk
- Deutsch
- Español
- Français
- Italiano
- Nederlands
- Polski
- Português
- Română
- Suomi
- Svenska
- Türkçe
- 中文
- 日本語
Gift Cards
Help

Rakuten Kobo

Wishlist

Create account Create account
Have an account? Sign in

Home
Fiction & Literature

Romance

Nonfiction

Mystery & Suspense

Young Adult - YA

Kids

Science Fiction & Fantasy

Biography & Memoir

Business & Finance

Comics, Graphic Novels, & Manga

Browse all categories
Recommended for You

Best Selling

Free eBooks

Daily Deals and More

Our Picks

Blog
Browse all eBooks
Fiction & Literature

Romance

Nonfiction

Mystery & Suspense

Young Adult - YA

Kids

Science Fiction & Fantasy

Biography & Memoir

Business & Finance

Browse all categories
Recommended for You

Best Selling

Browse Popular Lists

Best of the Month

Audiobook Deals
Browse all audiobooks
KOBO STACK
eReaders

Kobo Clara BW

Kobo Clara Colour

Kobo Libra Colour

Kobo Sage

Kobo Elipsa 2E

Certified Refurbished

All eReaders

Where to Buy
Apps

Android

Apple

Web Reader

Learn more
Accessories

View All
What is Kobo Super Points?

A loyalty program that rewards you for your love of reading.

Explore Kobo VIP Membership

Reward Yourself

Browse titles you can get with points.

See all eligible titles
Wishlist
Gift Cards
Canada

x

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

There are currently no items in your Shopping Cart.

Continue shopping

Item(s) unavailable for purchase

Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.

itemsitem

- Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Checkout

Recommended For You

Top Series in Canada

Springer Nature Proceedings Computer Science

1 ebook, English

1 result for

Skip side bar filters

Show Kobo Plus books only

All (1)
eBook (1)

All — selected
Nonfiction

All
English

Show:

Price Points

Min:

Max:

Min:

Max:

Only free items

Only items I have enough points for

Clear

Items Eligible For Promo Codes

Coalgebraic Methods in Computer Science

17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings

Edited by Barbara König, Henning Urbat ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras. ... Read more

$192.99 CAD

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.
... Read more

All about Rakuten Kobo

About Rakuten Kobo
Management Team
Kobo in Conversation Podcast
eRecycling Program
Free Apps
Buy eGift Cards
Get Help
Sitemap

Opportunities

Self Publish
Affiliates
Student Discount Program
Job Openings
Corporate Purchasing
Early Careers

Latest Blog Posts

57 books coming out November 3–9, 2026
Some of the best books by Indigenous writers i...
Stories of magic and discovery for young fans ...
Great reads for gamers: books based on video g...
55 books coming out October 27–November 2, 202...
View all posts

Stay Connected

Facebook
Twitter
Pinterest
YouTube
Instagram

Get the Free App

Accepted Payment Methods:

|

Bokmål
Čeština
Dansk
Deutsch
Español
Français
Italiano
Nederlands
Polski
Português
Română
Suomi
Svenska
Türkçe
中文
日本語

© 2026 Rakuten Kobo Inc.

Terms of Use
Privacy Policy
Privacy Settings
Content Policy

Rakuten, global innovation & entertainment partner of FC Barcelona

Rakuten Viki
Rakuten Viber
Rakuten Global Market
Rakuten Travel
More Services
About Rakuten

This is our Canada store.

Looks like you're in United States. You need a Canada address to shop on our Canada store. Go to our United States store to continue.

Go to United States Store Choose another store