Książka Behavioural Types: from Theory to Tools Simon Gay

Behavioural Types: from Theory to Tools

Język: Angielski
Oprawa: Twarda
Wydawca: River Publishers
Dostępność: Dostępna u dostawcy
Wysyłamy za 9-15 dni
477.60
Presents programming languages and software tools produced by members of COST Action IC1201: Behavio...

Informacje o książce

Język
Angielski
Oprawa
Książka - Twarda
Data wydania
2017
strony
250
EAN
9788793519824
ISBN
8793519826
Enbook ID
16303447
Waga
747
Wymiary
156 x 234 x 27

Pełny opis

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. 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 students and developers.

Możesz być zainteresowany

637.13

Ecological Impacts of Climate Change

Commitee on Ecological Impacts of Climate Change
169.59
338.99

2012, Year of Poets & Writers

Gary Drury Publishing
42.61