Behavioural Types: from Theory to Tools - River Publishers Series in Automation, Control and Robotics - - Bøger - River Publishers - 9788793519824 - 31. juli 2017
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
₪ 511,25

Bestilles fra fjernlager

Forventes klar til forsendelse 1. - 8. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 31. juli 2017
ISBN13 9788793519824
Forlag River Publishers
Antal sider 250
Mål 748 g
Klipper/redaktør Gay, Simon (University of Glasgow, UK)
Klipper/redaktør Ravara, Antonio (Universidade Nova de Lisboa, Portugal)