Trending Bestseller

Behavioural Types

No reviews yet Write a Review
Hardback
410 Pages
31 July 2017
RRP: $172.99
$171.00
Ships in 2-5 business days

Delivery estimate

Hurry up! Current stock:
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.

You Can Find This Title In

    Product Details
    ISBN-13
    9788793519824
    Author
    Simon Gay
    Publisher
    River Publishers
    Published
    31 July 2017
    Format
    Hardback
    Pages
    410

    This product hasn't received any reviews yet. Be the first to review this product!

    RRP: $172.99
    $171.00
    Ships in 2-5 business days

    Delivery estimate

    Hurry up! Current stock:

    Behavioural Types

    RRP: $172.99
    $171.00

    Description

    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.

    You Can Find This Title In

      This Title Is Categorised As