• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker

      Programming Languages and Systems

      10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings

      AvAtsushi Igarashi,Ranjit Jhala

      E-bok
      PDF, Engelska, 2012

      732 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

      Beskrivning

      This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on concurrency, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification.

      Produktinformation

      • Utgivningsdatum:2012-12-09
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783642351822
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Programmeringsböcker inom Data och IT
      • Programvaruutveckling inom Data och IT
      • IT-säkerhet inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Ranjit Jhala, Atsushi Igarashi - Programming Languages and Systems, Häftad

      Programming Languages and Systems

      Ranjit Jhala, Atsushi Igarashi

      Häftad, 2012

      566 kr

      Ranjit Jhala, Koen De Bosschere - Compiler Construction, E-bok

      Compiler Construction

      Ranjit Jhala, Koen De Bosschere

      E-bok
      2013

      650 kr

      Ranjit Jhala, David Schmidt - Verification, Model Checking, and Abstract Interpretation, Häftad

      Verification, Model Checking, and Abstract Interpretation

      Ranjit Jhala, David Schmidt

      Häftad, 2011

      566 kr

      David Schmidt, Ranjit Jhala - Verification, Model Checking, and Abstract Interpretation, E-bok

      Verification, Model Checking, and Abstract Interpretation

      David Schmidt, Ranjit Jhala

      E-bok
      2011

      732 kr

      Koen De Bosschere, Ranjit Jhala - Compiler Construction, Häftad

      Compiler Construction

      Koen De Bosschere, Ranjit Jhala

      Häftad, 2013

      521 kr

      Atsushi Igarashi - Programming Languages and Systems, E-bok

      Programming Languages and Systems

      Atsushi Igarashi

      E-bok
      2016

      732 kr

      Kenjiro Taura, Etsuya Shibayama, Satoshi Matsuoka, Hidehiko Masuhara, Naoki Kobayashi, Atsushi Igarashi, Gul Agha - Concurrent Objects and Beyond, E-bok

      Concurrent Objects and Beyond

      Kenjiro Taura, Etsuya Shibayama, Satoshi Matsuoka, Hidehiko Masuhara, Naoki Kobayashi, Atsushi Igarashi, Gul Agha

      E-bok
      2014

      732 kr

      Atsushi Igarashi, Michael Hanus - Functional and Logic Programming, E-bok

      Functional and Logic Programming

      Atsushi Igarashi, Michael Hanus

      E-bok
      2022

      894 kr

      Atsushi Igarashi - Programming Languages and Systems, Häftad
      Del 10017

      Programming Languages and Systems

      Atsushi Igarashi

      Häftad, 2016

      566 kr

      Michael Hanus, Atsushi Igarashi - Functional and Logic Programming, Häftad
      Del 13215

      Functional and Logic Programming

      Michael Hanus, Atsushi Igarashi

      Häftad, 2022

      733 kr