Simon J. (University of Glasgow) Gay,
Vasco T. (Universidade de Lisboa) Vasconcelos
Cambridge University Press
e druk, 2025
9781316518274
Session Types
Specificaties
Gebonden, 246 blz.
|
EN
Cambridge University Press |
e druk, 2025
ISBN13: 9781316518274
Rubricering
Juridisch
:
Levertijd ongeveer 16 werkdagen
Gratis verzonden
Samenvatting
This introductory text explores the key concepts of session types, which codify the structure of communication, making software more reliable and easier to construct. Complemented by examples and exercises throughout, it serves as an entry point to the topic for graduate students and researchers.
Specificaties
ISBN13:9781316518274
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:246
Uitgever:Cambridge University Press
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht