Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers - Marcello M. Bonsangue

Coalgebraic Methods in Computer Science

12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

By: Marcello M. Bonsangue (Editor)

Paperback | 1 September 2014

At a Glance

Paperback
256 Pages

Dimensions(cm)
23.5 x 15.49 x 1.37

Paperback

$79.99

or 4 interest-free payments of $20.00 with

or

Ships in 7 to 10 business days

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The 10 revised full papers were carefully reviewed and selected from 20 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Human-Computer Interaction User Interface Design & Usability Mathematical Theory of Computation Maths for Computer Scientists Computer Programming & Software Development Mathematics Mathematical Foundation Mathematical Logic Business Applications

Mathematical & Statistical Software Probability & Statistics

More in Mathematical Logic

Kakuro Book 2 : 200 mathematical logic puzzles - The Times Mind Games

Kakuro Book 2

200 mathematical logic puzzles

Paperback

RRP $16.99

$15.99

Current Trends in Automated Reasoning - Erika Bach

Current Trends in Automated Reasoning

Hardcover

$427.75

Automated Theorem Proving : Theory and Practice - Glenn Derry

Automated Theorem Proving

Theory and Practice

Hardcover

$421.75

Handbook of Automated Reasoning - Rachel Phillips

Handbook of Automated Reasoning

Hardcover

$443.75

Current Trends in Automated Theorem Proving - Glenn Derry

Current Trends in Automated Theorem Proving

Hardcover

$426.99

Automated Deduction : From Theory to Applications - Louis Morin

Automated Deduction

From Theory to Applications

Hardcover

$421.75

Advances in Automated Reasoning - Rachel Phillips

Advances in Automated Reasoning

Hardcover

$427.75

The Times Samurai Su Doku 14 : 100 extreme puzzles for the fearless Su Doku warrior - The Times Mind Games

The Times Samurai Su Doku 14

100 extreme puzzles for the fearless Su Doku warrior

Paperback

RRP $24.99

$21.75

13%
OFF

Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng

Unequal

The Maths of When Things Do and Don't Add Up

Hardcover

RRP $39.99

$31.75

21%
OFF

The Language of Mathematics : The Stories behind the Symbols - Raul Rojas

The Language of Mathematics

The Stories behind the Symbols

Hardcover

RRP $49.99

$40.75

18%
OFF

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT) : Volume I - Prakash Prasad

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Paperback

RRP $110.00

$96.75

12%
OFF

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT) : Volume I - Prakash Prasad

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Hardcover

RRP $252.00

$219.75

13%
OFF

Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz

Introduction to Modern Cryptography

Revised Third Edition

Hardcover

RRP $252.00

$209.75

17%
OFF

Introduction to Mathematical Logic : Discrete Mathematics and Its Applications - Elliott Mendelson

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Paperback

RRP $126.00

$104.75

17%
OFF

Introduction to Modern Cryptography : Chapman & Hall/Crc Cryptography and Network Security - Jonathan Katz

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Hardcover

RRP $242.00

$233.75

Cause, Effect, and Everything in Between : An Introduction to Causal Inference - Aboozar Hadavand

Cause, Effect, and Everything in Between

An Introduction to Causal Inference

Hardcover

RRP $183.95

$137.75

25%
OFF

How to Prove It : A Structured Approach - Daniel J. Velleman

How to Prove It

A Structured Approach

Paperback

RRP $73.95

$70.75

$MISCHIEF OF MATH, THE : Short Stories of Clowns, Contortionists, and Court-Jesters - ENAGANTI INAVAMSI$

MISCHIEF OF MATH, THE

Short Stories of Clowns, Contortionists, and Court-Jesters

Hardcover

RRP $86.99

$78.75

$MISCHIEF OF MATH, THE : Short Stories of Clowns, Contortionists, and Court-Jesters - ENAGANTI INAVAMSI$

MISCHIEF OF MATH, THE

Short Stories of Clowns, Contortionists, and Court-Jesters

Paperback

RRP $45.99

$41.75

Computable Structure Theory : Beyond the Arithmetic - Antonio MontalbÃ¡n

Computable Structure Theory

Beyond the Arithmetic

Hardcover

$320.99

Ignorance : What We Do Not Know, Cannot Know, Must Not Know, and Refuse to Know - George G. Szpiro

Ignorance

What We Do Not Know, Cannot Know, Must Not Know, and Refuse to Know

Hardcover

$63.75

Strongly Minimal Sets and Categoricity in Continuous Logic - James Hanson

Strongly Minimal Sets and Categoricity in Continuous Logic

Paperback

RRP $197.00

$187.75

Fuzzy Logic : An Introductory Text - Lukas Brooks

Fuzzy Logic

An Introductory Text

Hardcover

$448.75

Modern Mathematical Logic - Agustin Willmott

Modern Mathematical Logic

Hardcover

$427.75