• 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. Systemvetenskap och AI

      Theoretical Aspects of Computing

      7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

      AvJim Woodcock,Marie-Claude Gaudel

      E-bok
      PDF, Engelska, 2010

      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).

      Produktinformation

      • Utgivningsdatum:2010-08-21
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783642148088
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Jim Woodcock, Augusto Sampaio, Ana Cavalcanti - Refinement Techniques in Software Engineering, E-bok

      Refinement Techniques in Software Engineering

      Jim Woodcock, Augusto Sampaio, Ana Cavalcanti

      E-bok
      2006

      732 kr

      Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock - Software Engineering for Robotics, Inbunden

      Software Engineering for Robotics

      Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock

      Inbunden, 2021

      1 311 kr

      Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock - Software Engineering for Robotics, Häftad

      Software Engineering for Robotics

      Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock

      Häftad, 2022

      1 311 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

      Ana Cavalcanti, Augusto Sampaio, Jim Woodcock - Refinement Techniques in Software Engineering, Häftad

      Refinement Techniques in Software Engineering

      Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

      Häftad, 2006

      566 kr

      Jim Woodcock, Jon Timmis, Rob Hierons, Brijesh Dongol, Ana Cavalcanti - Software Engineering for Robotics, E-bok

      Software Engineering for Robotics

      Jim Woodcock, Jon Timmis, Rob Hierons, Brijesh Dongol, Ana Cavalcanti

      E-bok
      2021

      1 665 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

      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

      Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhard Wolff - Unifying Theories of Programming, E-bok

      Unifying Theories of Programming

      Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhard Wolff

      E-bok
      2013

      683 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