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

My Wish Lists Login / Join

Coalgebraic Methods in Computer Science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers - Corina CÃ®rstea

Coalgebraic Methods in Computer Science

14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers

By: Corina CÃ®rstea (Editor)

Paperback | 20 September 2018

At a Glance

Paperback
248 Pages

Dimensions(cm)
23.5 x 15.49 x 1.32

Paperback

$84.99

or 4 interest-free payments of $21.25 with

or

Ships in 7 to 10 business days

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/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 Mathematics Mathematical Foundation Mathematical Logic Computing & I.T.Computer Programming & Software Development Computer Science Mathematical Theory of Computation Artificial Intelligence Engineering & Technology Electronics & Communications Engineering Electronics Engineering

Automatic Control Engineering Robotics Computer Architecture & Logic Design

More in Mathematical Logic

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

Computable Structure Theory

Beyond the Arithmetic

Hardcover

$318.75

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 : 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

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

Logic For Dummies : For Dummies - Mark Zegarelli

Logic For Dummies

For Dummies

Paperback

RRP $41.95

$29.37

30%
OFF

Strongly Minimal Sets and Categoricity in Continuous Logic - James Hanson

Strongly Minimal Sets and Categoricity in Continuous Logic

Paperback

RRP $197.00

$187.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

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

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

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

Kakuro Book 2

200 mathematical logic puzzles

Paperback

RRP $16.99

$15.99

Fuzzy Logic : An Introductory Text - Lukas Brooks

Fuzzy Logic

An Introductory Text

Hardcover

$442.99