• 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

      Formal Methods and Software Engineering

      7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

      AvRichard Banach,Kung-Kiu Lau

      E-bok
      PDF, Engelska, 2005

      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:2005-10-25
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540322504
      • 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

      Kung-Kiu Lau, Richard Banach - Formal Methods and Software Engineering, Häftad

      Formal Methods and Software Engineering

      Kung-Kiu Lau, Richard Banach

      Häftad, 2005

      566 kr

      Timothy P. Clement, Kung-Kiu Lau - Logic Program Synthesis and Transformation, E-bok

      Logic Program Synthesis and Transformation

      Timothy P. Clement, Kung-Kiu Lau

      E-bok
      2013

      732 kr

      Kung-Kiu Lau - Logic Based Program Synthesis and Transformation, Häftad

      Logic Based Program Synthesis and Transformation

      Kung-Kiu Lau

      Häftad, 2001

      566 kr

      Kung-Kiu Lau, Timothy P. Clement - Logic Program Synthesis and Transformation, E-bok

      Logic Program Synthesis and Transformation

      Kung-Kiu Lau, Timothy P. Clement

      E-bok
      2013

      739 kr

      Maurice Bruynooghe, Kung-Kiu Lau - Program Development in Computational Logic, Häftad

      Program Development in Computational Logic

      Maurice Bruynooghe, Kung-Kiu Lau

      Häftad, 2004

      566 kr

      Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel - Service-Oriented and Cloud Computing, Häftad

      Service-Oriented and Cloud Computing

      Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel

      Häftad, 2013

      521 kr

      Maurice Bruynooghe, Kung-Kiu Lau - Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development, Övrigt

      Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development

      Maurice Bruynooghe, Kung-Kiu Lau

      672 kr

      Kung-Kiu Lau, Timothy P. Clement - Logic Program Synthesis and Transformation, Häftad

      Logic Program Synthesis and Transformation

      Kung-Kiu Lau, Timothy P. Clement

      Häftad, 1993

      566 kr

      John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey - Computational Logic — CL 2000, Övrigt

      Computational Logic — CL 2000

      John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey

      667 kr

      Kung-Kiu Lau, Simone di Cola - INTRODUCTION TO COMPONENT-BASED SOFTWARE DEVELOPMENT, AN, Inbunden
      Del 3

      INTRODUCTION TO COMPONENT-BASED SOFTWARE DEVELOPMENT, AN

      Kung-Kiu Lau, Simone di Cola

      Inbunden, 2017

      1 107 kr