EUR 51,20
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
EUR 50,81
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 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.
Sprache: Englisch
Verlag: River Publishers Okt 2024, 2024
ISBN 10: 8770044279 ISBN 13: 9788770044271
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - 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.