Behavioural Types: from Theory to Tools - River Publishers Series in Automation, Control and Robotics - - Books - River Publishers - 9788793519824 - July 31, 2017
In case cover and title do not match, the title is correct

Behavioural Types: from Theory to Tools - River Publishers Series in Automation, Control and Robotics

Price
$ 122.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 27 - Jun 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

250 pages

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 31, 2017
ISBN13 9788793519824
Publishers River Publishers
Pages 250
Dimensions 150 × 220 × 20 mm   ·   748 g
Editor Gay, Simon (University of Glasgow, UK)
Editor Ravara, Antonio (Universidade Nova de Lisboa, Portugal)