Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Pra

indgår i serie Lecture Notes in Computer Science


Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Pra
Format:
Bog, hæftet
Udgivelsesdato:
01-02-2013
Sprog:
Engelsk
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.

Vis mereVis mindre

ISBN13:
9783642370359
Vægt:
889 g
Dybde:
33 mm
Bredde:
156 mm
Højde:
234 mm
Forlag:
Springer
Format:
Hæftet
  • Forfattere

    Vis mereVis mindre

    Vis mereVis mindre

    Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Pra

    indgår i serie Lecture Notes in Computer Science

    • Leveringstid 4-6 hverdage
    • Forventet levering 29-07-2019

    på lager

    Fandt du ikke hvad du søgte?

    Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

    Velkommen til Saxo

    Du har nu adgang til din konto hos Saxo, og kan se alle oplysninger om dit medlemskab, dine
    ordrer og din digitale boghylde under "Mit Saxo".

    Som tak for, at du har aktiveret dit medlemskab, har vi valgt at give dig fri læsning hele
    sommeren. Dvs. at du frit kan tilgå de mere en 50.000 bøger i Saxos app, samt købe bøger til
    vores altid lave medlemspris og fri fragt her på Saxo.com hele juli. Din næste medlemsbetaling
    vil først falde i august.

    Vi glæder os meget til at byde dig velkommen i vores univers, og håber at du kommer godt i
    gang med Saxo Premium.

    God sommer og god læselyst!

    Med venlig hilsen Saxo

    Kom i gang nu!