Behavioural Types: from Theory to Tools (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Automatisk styringsteknik og...
  5. Programmeringssprog og scriptsprog
  6. Behavioural Types: from Theory to Tools

Behavioural Types: from Theory to Tools

(Bog, Hardback, Engelsk)
Forlag: River Publishers

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Automatisk styringsteknik og reguleringsteknik Programmeringssprog og scriptsprog
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag River Publishers
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 31-07-2017
Første udgivelsesår 2017
Serie River Publishers Series in Automation, Control and Robotics
Fagredaktør Simon (University of Glasgow Gay, Antonio (Universidade Nova de Lisboa Ravara
Originalsprog Denmark
Sideantal 250
Indbinding Hardback
Forlag River Publishers
Sideoplysninger 250 pages
Mål 234 x 156
ISBN-13 / EAN-13 9788793519824