机读格式显示(MARC)

• 000 01848cam a2200277 i 4500

• 001 0000841324

• 005 20250912100600.0

• 008 120326r20242017dk a b 001 0 eng d

• 020 __ |a 9788770044271 |q paperback

• 040 __ |a CEPIEC |b eng |c CEPIEC |e rda

• 090 __ |a TP313/X2

• 093 __ |a TP313 |2 5

• 245 00 |a Behavioural types : |b from theory to tools / |c edited by Simon Gay, Antonio Ravara.

• 260 __ |a Gistrup : |b River Publishers, |c 2024.

• 300 __ |a xxxiv, 375 pages : |b illustrations ; |c 24 cm.

• 336 __ |a text |b txt |2 rdacontent

• 337 __ |a unmediated |b n |2 rdamedia

• 338 __ |a volume |b nc |2 rdacarrier

• 490 0_ |a River Publishers series in automation, control and robotics

• 500 __ |a Originally published: 2017.

• 504 __ |a Includes bibliographical references and index.

• 520 __ |a 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.

• 650 _0 |a Computer programming.

• 650 _0 |a Programming languages (Electronic computers)

• 700 1_ |a Gay, Simon, |e editor.

• 700 1_ |a Ravara, Antonio, |e editor.