|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Behavioural Types: from Theory to Tools (Hardcover)
Loot Price: R2,574
Discovery Miles 25 740
|
|
|
Behavioural Types: from Theory to Tools (Hardcover)
Series: River Publishers Series in Automation, Control and Robotics
Expected to ship within 12 - 19 working 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
