• 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

      Unifying Theories of Programming

      4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

      AvAbderrahmane Feliachi,Marie-Claude Gaudel

      E-bok
      PDF, Engelska, 2013

      683 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 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.

      Produktinformation

      • Utgivningsdatum:2013-01-03
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783642357053
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Programmeringsböcker inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi - Unifying Theories of Programming, Häftad

      Unifying Theories of Programming

      Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi

      Häftad, 2013

      521 kr

      Marie-Claude Gaudel, James Woodcock - FME '96: Industrial Benefit and Advances in Formal Methods, Häftad

      FME '96: Industrial Benefit and Advances in Formal Methods

      Marie-Claude Gaudel, James Woodcock

      Häftad, 1996

      1 124 kr

      Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock - Theoretical Aspects of Computing, Häftad

      Theoretical Aspects of Computing

      Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock

      Häftad, 2010

      566 kr

      Jim Woodcock, Marie-Claude Gaudel, David Deharbe, Ana Cavalcanti - Theoretical Aspects of Computing, E-bok

      Theoretical Aspects of Computing

      Jim Woodcock, Marie-Claude Gaudel, David Deharbe, Ana Cavalcanti

      E-bok
      2010

      732 kr

      Marie-Claude Gaudel, Jean-Pierre Jouannaud - TAPSOFT '93: Theory and Practice of Software Development, Häftad

      TAPSOFT '93: Theory and Practice of Software Development

      Marie-Claude Gaudel, Jean-Pierre Jouannaud

      Häftad, 1993

      1 124 kr

      Klara Peters Bastin - SIGNERAD - Om julens wälgång, Inbunden
      • Signerad!

      SIGNERAD - Om julens wälgång

      Klara Peters Bastin

      Inbunden, 2026

      249 kr

      Roland Paulsen - Avbegåvad : en essäberättelse om arv och miljö, Inbunden
      • -15%

      Avbegåvad : en essäberättelse om arv och miljö

      Roland Paulsen

      Inbunden, 2026

      225 kr265 kr

      Peter Englund - Om att misslyckas, Inbunden
      • -17%

      Om att misslyckas

      Peter Englund

      Inbunden, 2026

      4,0 utav 5 stjärnor. Totalt antal röster:(9)

      199 kr239 kr

      Nigel Holt, Andy Bremner, Michael Vliek, Ed Sutherland, Michael Passer, Ronald Smith - Psychology 5e, Häftad
      • -10% student

      Psychology 5e

      Nigel Holt, Andy Bremner, Michael Vliek, Ed Sutherland, Michael Passer, Ronald Smith

      Häftad, 2023

      3,7 utav 5 stjärnor. Totalt antal röster:(3)

      655 kr

      Vendela Blomström, Jeanna Wennerberg - Akademiskt läsande och skrivande, Häftad
      • -10% student

      Akademiskt läsande och skrivande

      Vendela Blomström, Jeanna Wennerberg

      Häftad, 2026

      421 kr