Menu
Află starea comenzii
Contactați-ne
Carte Behavioural Types: from Theory to Tools Simon Gay

Behavioural Types: from Theory to Tools

Autor: Simon Gay, Antonio Ravara
Limbă: engleză
Legare: Copertă tare
Editura: River Publishers
Disponibilitate: În depozitul extern
Expediem în 9-15 zile
614.35 lei
Presents programming languages and software tools produced by members of COST Action IC1201: Behavio...

Informații despre carte

Autor
Simon Gay, Antonio Ravara
Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2017
Pagini
250
EAN
9788793519824
ISBN
8793519826
Enbook ID
16303447
Editura
River Publishers
Greutate
747
Dimensiuni
156 x 234 x 27

Descriere completă

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.

S-ar putea să te intereseze

Nondeterministic Mechanics

Isaac Elishakoff
893.22 lei

From Darwin to the Death Camps.

Mark Brodie
437.83 lei

The Unnoticed Theories Of Servetus

George Gabriel Sigmond
177.43 lei

2012, Year of Poets & Writers

Gary Drury Publishing
55.30 lei