Behavioural Types: from Theory to Tools - River Publishers Series in Automation, Control and Robotics - - Bøker - River Publishers - 9788793519824 - 31. juli 2017
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Behavioural Types: from Theory to Tools - River Publishers Series in Automation, Control and Robotics

Pris
R$ 713,90

Bestillingsvarer

Forventes levert 1. - 12. aug

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

Behavioural Types: from Theory to Tools - River Publishers Series in Automation, Control and Robotics

Behavioural Types: from Theory to Tools 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 that was funded from October 2012 to October 2016.

250 pages

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 31. juli 2017
ISBN13 9788793519824
Utgivere River Publishers
Antall sider 250
Mål 748 g
Redaktør Gay, Simon (University of Glasgow, UK)
Redaktør Ravara, Antonio (Universidade Nova de Lisboa, Portugal)