Behavioural Types: From Theory to Tools (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Automatisk styringsteknik og...
  5. Programmeringssprog og scriptsprog
  6. Softwareudvikling
  7. Fysik
  8. Informatik
  9. Behavioural Types: From Theory to Tools

Behavioural Types: From Theory to Tools

(Bog, Paperback / softback, Engelsk)
Behavioural Types: From Theory to Tools
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 Fysik Informatik Programmeringssprog og scriptsprog Softwareudvikling
  = 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 Paperback / softback
Sprog Engelsk
Udgivelsesdato 21-10-2024
Første udgivelsesår 2024
Fagredaktør Simon (University of Glasgow Gay, Antonio (Universidade Nova de Lisboa Ravara
Originalsprog Denmark
Sideantal 410
Indbinding Paperback / softback
Forlag River Publishers
Sideoplysninger 410 pages
Mål 234 x 156
ISBN-13 / EAN-13 9788770044271