• 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
      3. Programvaruutveckling

      Formal Methods for Components and Objects

      11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

      AvMarcello M. Bonsangue,Frank S. de Boer

      E-bok
      PDF, Engelska, 2013

      657 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 revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

      Produktinformation

      • Utgivningsdatum:2013-08-23
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783642406157
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

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

      Du kanske också är intresserad av

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer - Formal Methods for Components and Objects, E-bok

      Formal Methods for Components and Objects

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer

      E-bok
      2004

      739 kr

      Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

      Formal Methods for Components and Objects

      Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

      Häftad, 2004

      581 kr

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer - Formal Methods for Components and Objects, E-bok

      Formal Methods for Components and Objects

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer

      E-bok
      2006

      739 kr

      Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue - Formal Methods for Components and Objects, Häftad

      Formal Methods for Components and Objects

      Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue

      Häftad, 2013

      535 kr

      Michael Leuschel, Stefan Hallerstede, Marcello M. Bonsangue, Frank S. de Boer - Formal Methods for Components and Objects, E-bok

      Formal Methods for Components and Objects

      Michael Leuschel, Stefan Hallerstede, Marcello M. Bonsangue, Frank S. de Boer

      E-bok
      2010

      739 kr

      Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue - Formal Methods for Components and Objects, Häftad

      Formal Methods for Components and Objects

      Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue

      Häftad, 2011

      581 kr

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer - Formal Methods for Components and Objects, E-bok

      Formal Methods for Components and Objects

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer

      E-bok
      2005

      739 kr

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer - Formal Methods for Components and Objects, E-bok

      Formal Methods for Components and Objects

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer

      E-bok
      2008

      739 kr

      Marcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Bernhard Beckert - Formal Methods for Components and Objects, E-bok

      Formal Methods for Components and Objects

      Marcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Bernhard Beckert

      E-bok
      2013

      734 kr

      Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

      Formal Methods for Components and Objects

      Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

      Häftad, 2005

      581 kr