We a good story
Quick delivery in the UK

Behavioural Types

About Behavioural Types

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9788770044271
  • Binding:
  • Paperback
  • Pages:
  • 410
  • Published:
  • October 20, 2024
  • Dimensions:
  • 156x234x0 mm.
  • Weight:
  • 757 g.
Delivery: 1-2 weeks
Expected delivery: December 15, 2024
Extended return policy to January 30, 2025

Description of Behavioural Types

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.

User ratings of Behavioural Types



Find similar books
The book Behavioural Types can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.