Behavioural Types

From Theory to Tools

By: Antonio Ravara (Editor), Simon Gay (Editor)

Write A Review

Hardcover | 31 July 2017 | Edition Number 1

At a Glance

Hardcover
410 Pages

Dimensions(cm)
23.4 x 15.6 x 2.39

Hardcover

RRP $173.00

$153.99

11%OFF

or 4 interest-free payments of $38.50 with

Ships in 3 to 5 business days

Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software.

Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.

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