Behavioural Types

Name: Behavioural Types
Price: 71.75 AUD
Availability: BackOrder

From Theory to Tools

By: Simon Gay (Editor), AntÃ³nio Ravara (Editor)

Write A Review

Paperback | 21 October 2024 | Edition Number 1

At a Glance

Paperback
410 Pages

Dimensions(cm)
23.4 x 15.6

Paperback

RRP $75.99

$71.75

or 4 interest-free payments of $17.94 with

Available for Backorder. We will order this from our supplier however there isn't a current ETA.

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