Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Behavioural Types: from Theory to Tools Simon Gay

Behavioural Types: from Theory to Tools

Autor: Simon Gay, Antonio Ravara
Jazyk: Angličtina
Vazba: Pevná
Vydavatel: River Publishers
Dostupnost: Skladem u dodavatele
Odesíláme za 9-15 dnů
2 595 Kč
Presents programming languages and software tools produced by members of COST Action IC1201: Behavio...

Informace o knize

Autor
Simon Gay, Antonio Ravara
Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
2017
Stránek
250
EAN
9788793519824
ISBN
8793519826
Enbook ID
16303447
Vydavatel
River Publishers
Hmotnost
747
Rozměry
156 x 234 x 27

Kompletní popis

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.

Mohlo by vás zajímat

Nondeterministic Mechanics

Isaac Elishakoff
3 426 Kč

Ecological Impacts of Climate Change

Commitee on Ecological Impacts of Climate Change
907 Kč

From Darwin to the Death Camps.

Mark Brodie
1 833 Kč

The Unnoticed Theories Of Servetus

George Gabriel Sigmond
744 Kč

2012, Year of Poets & Writers

Gary Drury Publishing
230 Kč