• 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. Hårdvara

      Web Services and Formal Methods

      5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings

      AvKarsten Wolf,Roberto Bruni

      E-bok
      PDF, Engelska, 2009

      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 thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.

      Produktinformation

      • Utgivningsdatum:2009-04-30
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783642013645
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Hårdvara inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Tillämpad datateknik inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Roberto Bruni, Karsten Wolf - Web Services and Formal Methods, Häftad

      Web Services and Formal Methods

      Roberto Bruni, Karsten Wolf

      Häftad, 2009

      574 kr

      Juergen Dingel, Roberto Bruni - Formal Techniques for Distributed Systems, E-bok

      Formal Techniques for Distributed Systems

      Juergen Dingel, Roberto Bruni

      E-bok
      2011

      732 kr

      Karsten Wolf, Farouk Toumani, Stefanie Rinderle-Ma - Business Process Management, E-bok

      Business Process Management

      Karsten Wolf, Farouk Toumani, Stefanie Rinderle-Ma

      E-bok
      2011

      739 kr

      Karsten Wolf - Präzises Denken für Informatiker, Häftad

      Präzises Denken für Informatiker

      Karsten Wolf

      Häftad, 2017

      342 kr

      Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf - Transactions on Petri Nets and Other Models of Concurrency VII, Häftad

      Transactions on Petri Nets and Other Models of Concurrency VII

      Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf

      Häftad, 2013

      574 kr

      Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf - Business Process Management, Häftad

      Business Process Management

      Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf

      Häftad, 2011

      574 kr

      Giuliana Franceschinis, Karsten Wolf - Applications and Theory of Petri Nets, Häftad

      Applications and Theory of Petri Nets

      Giuliana Franceschinis, Karsten Wolf

      Häftad, 2009

      558 kr

      Karsten Wolf - Präzises Denken für Informatiker, E-bok

      Präzises Denken für Informatiker

      Karsten Wolf

      E-bok
      2017

      347 kr

      Karsten Wolf, Maciej Koutny, Gianfranco Balbo, Wil M. P. van der Aalst, Kurt Jensen - Transactions on Petri Nets and Other Models of Concurrency VII, E-bok

      Transactions on Petri Nets and Other Models of Concurrency VII

      Karsten Wolf, Maciej Koutny, Gianfranco Balbo, Wil M. P. van der Aalst, Kurt Jensen

      E-bok
      2013

      739 kr

      Karsten Wolf, Giuliana Franceschinis - Applications and Theory of Petri Nets, E-bok

      Applications and Theory of Petri Nets

      Karsten Wolf, Giuliana Franceschinis

      E-bok
      2009

      710 kr