• 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)
    1. Data och IT
    2. Hårdvara

    Formal Methods for Mobile Computing

    5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

    AvAlessandro Bogliolo,Marco Bernardo

    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-04-25
    • Språk:Engelska
    • Filformat:PDF
    • Kopieringsskydd:LCP
    • ISBN:9783540320210
    • Förlag:Springer Berlin Heidelberg

    Utforska kategorier

    • Hårdvara inom Data och IT
    • Programmeringsböcker inom Data och IT
    • Programvaruutveckling inom Data och IT
    Hoppa över listan

    Du kanske också är intresserad av

    Marco Bernardo, Alessandro Bogliolo - Formal Methods for Mobile Computing, Häftad

    Formal Methods for Mobile Computing

    Marco Bernardo, Alessandro Bogliolo

    Häftad, 2005

    559 kr

    Alessandro Bogliolo, Alessandro Aldini - User-Centric Networking, E-bok

    User-Centric Networking

    Alessandro Bogliolo, Alessandro Aldini

    E-bok
    2014

    710 kr

    Alessandro Aldini, Alessandro Bogliolo - User-Centric Networking, Inbunden

    User-Centric Networking

    Alessandro Aldini, Alessandro Bogliolo

    Inbunden, 2014

    559 kr

    Alessandro Aldini, Alessandro Bogliolo - User-Centric Networking, Häftad

    User-Centric Networking

    Alessandro Aldini, Alessandro Bogliolo

    Häftad, 2016

    542 kr

    Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky - Formal Methods for Quantitative Aspects of Programming Languages, Häftad

    Formal Methods for Quantitative Aspects of Programming Languages

    Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky

    Häftad, 2010

    559 kr

    Marco Bernardo, Rocco De Nicola, Jane Hillston - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Häftad
    Del 9700

    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

    Marco Bernardo, Rocco De Nicola, Jane Hillston

    Häftad, 2016

    559 kr

    Herbert Wiklicky, Alessandra Di Pierro, Erik de Vink, Marco Bernardo - Formal Methods for Dynamical Systems, E-bok

    Formal Methods for Dynamical Systems

    Herbert Wiklicky, Alessandra Di Pierro, Erik de Vink, Marco Bernardo

    E-bok
    2013

    631 kr

    Alessandro Aldini, Marco Bernardo, Flavio Corradini - Process Algebraic Approach to Software Architecture Design, Häftad

    Process Algebraic Approach to Software Architecture Design

    Alessandro Aldini, Marco Bernardo, Flavio Corradini

    Häftad, 2014

    560 kr

    Paola Inverardi, Marco Bernardo - Formal Methods for Software Architectures, E-bok

    Formal Methods for Software Architectures

    Paola Inverardi, Marco Bernardo

    E-bok
    2003

    732 kr

    Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro - Formal Methods for Computational Systems Biology, Häftad

    Formal Methods for Computational Systems Biology

    Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

    Häftad, 2008

    559 kr