Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Programming Languages and Systems

Programming Languages and Systems - Bog

- 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings

indgår i Theoretical Computer Science and General Issues serien

indgår i Lecture Notes in Computer Science serien

Programming Languages and Systems
Bag om Programming Languages and Systems

It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540713142
  • Indbinding:
  • Paperback
  • Sideantal:
  • 542
  • Udgivet:
  • 8. marts 2007
  • Udgave:
  • 2007
  • Størrelse:
  • 234x156x29 mm.
  • Vægt:
  • 1720 g.
  • 8-11 hverdage.
  • 16. december 2024
På lager
Forlænget returret til d. 31. januar 2025

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Programming Languages and Systems

It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.

Brugerbedømmelser af Programming Languages and Systems



Andre købte også..
Find lignende bøger
Bogen Programming Languages and Systems findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.