Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Behavioural Types: from Theory to Tools Simon Gay

Behavioural Types: from Theory to Tools

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

Informacje o książce

Autor
Simon Gay, Antonio Ravara
Język
Angielski
Oprawa
Książka - Twarda
Data wydania
2017
strony
250
EAN
9788793519824
ISBN
8793519826
Enbook ID
16303447
Wydawca
River Publishers
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

Nondeterministic Mechanics

Isaac Elishakoff
637.13 zł

Ecological Impacts of Climate Change

Commitee on Ecological Impacts of Climate Change
169.59 zł

From Darwin to the Death Camps.

Mark Brodie
338.99 zł

2012, Year of Poets & Writers

Gary Drury Publishing
42.61 zł