You might also like

More about Behavioural Types: from Theory to Tools

• Book details
• Synopsis
• Trending among others

You get 267 loyalty points

Book synopsis

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. 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 students and developers.

Book details

Book category Books in English Technology, engineering, agriculture Electronics & communications engineering Electronics engineering

• Full title: Behavioural Types: from Theory to Tools
• Author: Simon Gay, Antonio Ravara
• Language: English
• Binding: Hardback
• Number of pages: 250
• EAN: 9788793519824
• ISBN: 8793519826
• ID: 16303447
• Publisher: River Publishers
• Weight: 747 g
• Dimensions: 234 × 156 × 27 mm
• Date of publishing: 30. June 2017

Trending among others

---

---

---