Behavioural Types (eBook, PDF)

From Theory to Tools
Redaktion: Gay, Simon; Ravara, António

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis
• Seitenzahl: 405
• Erscheinungstermin: 1. September 2022
• Englisch
• ISBN-13: 9781000799255
• Artikelnr.: 65615970

Autorenporträt

Simon Gay, António Ravara