Verkauf durch Sack Fachmedien

Gay / Ravara

Behavioural Types

From Theory to Tools

Medium: Buch
ISBN: 978-87-7004-427-1
Verlag: River Publishers
Erscheinungstermin: 21.10.2024
Lieferfrist: bis zu 10 Tage

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.


Produkteigenschaften


  • Artikelnummer: 9788770044271
  • Medium: Buch
  • ISBN: 978-87-7004-427-1
  • Verlag: River Publishers
  • Erscheinungstermin: 21.10.2024
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 2024
  • Produktform: Kartoniert
  • Gewicht: 453 g
  • Seiten: 410
  • Format (B x H): 156 x 234 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber