• 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

      Formal Methods for Performance Evaluation

      7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures

      AvJane Hillston,Marco Bernardo

      E-bok
      PDF, Engelska, 2007

      739 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:2007-06-06
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540725220
      • 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, 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

      577 kr

      Jane Hillston, Rocco De Nicola, Marco Bernardo - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, E-bok

      Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

      Jane Hillston, Rocco De Nicola, Marco Bernardo

      E-bok
      2016

      710 kr

      Marco Bernardo, Jane Hillston - Formal Methods for Performance Evaluation, Häftad

      Formal Methods for Performance Evaluation

      Marco Bernardo, Jane Hillston

      Häftad, 2007

      577 kr

      Masaki Waga, Sadegh Soudjani, Jane Hillston - Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, E-bok

      Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

      Masaki Waga, Sadegh Soudjani, Jane Hillston

      E-bok
      2024

      1 067 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

      638 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

      577 kr

      Valerie Issarny, Marco Bernardo - Formal Methods for Eternal Networked Software Systems, E-bok

      Formal Methods for Eternal Networked Software Systems

      Valerie Issarny, Marco Bernardo

      E-bok
      2011

      739 kr

      Jane Hillston, Sadegh Soudjani, Masaki Waga - Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, Häftad
      Del 14996

      Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

      Jane Hillston, Sadegh Soudjani, Masaki Waga

      Häftad, 2024

      862 kr

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

      Formal Methods for Software Architectures

      Paola Inverardi, Marco Bernardo

      E-bok
      2003

      739 kr

      Jane Hillston - A Compositional Approach to Performance Modelling, Häftad
      Del 12

      A Compositional Approach to Performance Modelling

      Jane Hillston

      Häftad, 2005

      607 kr