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
DKK 822.36

Ordered from remote warehouse

Expected delivery Aug 4 - 13

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 - River Publishers Series in Automation, Control and Robotics

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 748 g
Editor Gay, Simon (University of Glasgow, UK)
Editor Ravara, Antonio (Universidade Nova de Lisboa, Portugal)