• 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
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

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

    Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Dis

    AvPaolo Ciancarini,Alessandro Fantechi

    Engelska, 2013

    665 kr

    Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

    Produktinformation

    • Utgivningsdatum:2013-01-24
    • Format:Övrigt
    • Språk:Engelska
    • Antal sidor:452
    • Förlag:Springer
    • ISBN:9781475752656
    Hoppa över listan

    Du kanske också är intresserad av

    Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri - Formal Methods for Open Object-Based Distributed Systems, Häftad
    Del 10

    Formal Methods for Open Object-Based Distributed Systems

    Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

    Häftad, 2013

    2 219 kr

    International Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri - Formal Methods for Open Object-Based Distributed Systems, Inbunden

    Formal Methods for Open Object-Based Distributed Systems

    International Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

    Inbunden, 1999

    2 219 kr

    Roberto Gorrieri, Alessandro Fantechi, Paolo Ciancarini - Formal Methods for Open Object-Based Distributed Systems, E-bok

    Formal Methods for Open Object-Based Distributed Systems

    Roberto Gorrieri, Alessandro Fantechi, Paolo Ciancarini

    E-bok
    2013

    2 925 kr

    Laura Semini, Alessandro Fantechi, Maurice H. ter Beek - From Software Engineering to Formal Methods and Tools, and Back, E-bok

    From Software Engineering to Formal Methods and Tools, and Back

    Laura Semini, Alessandro Fantechi, Maurice H. ter Beek

    E-bok
    2019

    732 kr

    Alessandro Fantechi, Darren Cofer - Formal Methods for Industrial Critical Systems, E-bok

    Formal Methods for Industrial Critical Systems

    Alessandro Fantechi, Darren Cofer

    E-bok
    2009

    732 kr

    Patrizio Pelliccione, Alessandro Fantechi - Software Engineering for Resilient Systems, E-bok

    Software Engineering for Resilient Systems

    Patrizio Pelliccione, Alessandro Fantechi

    E-bok
    2015

    569 kr

    Alexander Romanovsky, Thierry Lecomte, Alessandro Fantechi - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, E-bok

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Alexander Romanovsky, Thierry Lecomte, Alessandro Fantechi

    E-bok
    2017

    732 kr

    Maurice H. ter Beek, Alessandro Fantechi, Laura Semini - From Software Engineering to Formal Methods and Tools, and Back, Häftad
    Del 11865

    From Software Engineering to Formal Methods and Tools, and Back

    Maurice H. ter Beek, Alessandro Fantechi, Laura Semini

    Häftad, 2019

    560 kr

    Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad
    Del 10598

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky

    Häftad, 2017

    544 kr

    Alessandro Fantechi, Patrizio Pelliccione - Software Engineering for Resilient Systems, Häftad
    Del 9274

    Software Engineering for Resilient Systems

    Alessandro Fantechi, Patrizio Pelliccione

    Häftad, 2015

    450 kr