• 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

Upp till 20% på populära nyheter →

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 @ 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

      7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings

      AvZhenjiang Hu

      E-bok
      PDF, Engelska, 2009

      739 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 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009. The 21 papers presented in this volume together with 3 invited talks were carefully reviewed and selected from 56 submissions. The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.

      Produktinformation

      • Utgivningsdatum:2009-12-02
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783642106729
      • 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

      Zhenjiang Hu, Juan de Lara - Theory and Practice of Model Transformations, Häftad

      Theory and Practice of Model Transformations

      Zhenjiang Hu, Juan de Lara

      Häftad, 2012

      581 kr

      Zhenjiang Hu - Programming Languages and Systems, Häftad

      Programming Languages and Systems

      Zhenjiang Hu

      Häftad, 2009

      581 kr

      Masatoshi Yoshikawa, Makoto Onizuka, Zhenjiang Hu - Bidirectional Collaborative Data Management, E-bok

      Bidirectional Collaborative Data Management

      Masatoshi Yoshikawa, Makoto Onizuka, Zhenjiang Hu

      E-bok
      2024

      2 291 kr

      Zhenjiang Hu, Makoto Onizuka, Masatoshi Yoshikawa - Bidirectional Collaborative Data Management, Häftad

      Bidirectional Collaborative Data Management

      Zhenjiang Hu, Makoto Onizuka, Masatoshi Yoshikawa

      Häftad, 2025

      1 844 kr

      Bashar Nuseibeh, John Mylopoulos, Hausi Muller, Tetsuo Tamai, Zhenjiang Hu, Shinichi Honiden, Arosha Bandara, Yijun Yu - Engineering Adaptive Software Systems, E-bok

      Engineering Adaptive Software Systems

      Bashar Nuseibeh, John Mylopoulos, Hausi Muller, Tetsuo Tamai, Zhenjiang Hu, Shinichi Honiden, Arosha Bandara, Yijun Yu

      E-bok
      2019

      1 455 kr

      Juan de Lara, Zhenjiang Hu - Theory and Practice of Model Transformations, E-bok

      Theory and Practice of Model Transformations

      Juan de Lara, Zhenjiang Hu

      E-bok
      2012

      739 kr

      Mario Rodriquez-Artalejo, Zhenjiang Hu - Functional and Logic Programming, E-bok

      Functional and Logic Programming

      Mario Rodriquez-Artalejo, Zhenjiang Hu

      E-bok
      2003

      734 kr

      Zhenjiang Hu, Mario Rodriquez-Artalejo - Functional and Logic Programming, Häftad

      Functional and Logic Programming

      Zhenjiang Hu, Mario Rodriquez-Artalejo

      Häftad, 2002

      581 kr

      Yijun Yu, Arosha Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi Muller, John Mylopoulos, Bashar Nuseibeh - Engineering Adaptive Software Systems, Inbunden

      Engineering Adaptive Software Systems

      Yijun Yu, Arosha Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi Muller, John Mylopoulos, Bashar Nuseibeh

      Inbunden, 2019

      1 155 kr

      Zhenjiang Hu, Makoto Onizuka, Masatoshi Yoshikawa - Bidirectional Collaborative Data Management, Inbunden

      Bidirectional Collaborative Data Management

      Zhenjiang Hu, Makoto Onizuka, Masatoshi Yoshikawa

      Inbunden, 2024

      1 844 kr