• 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

10% studentrabatt med kod TERM26

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 @ 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. Medicin
      2. Klinisk medicin och internmedicin
      3. Sjukdomar och rubbningar
      4. Onkologi

      Formal Methods for Quantitative Aspects of Programming Languages

      10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

      AvHerbert Wiklicky,Alessandra Di Pierro

      E-bok
      PDF, Engelska, 2010

      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:2010-06-26
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783642136788
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Onkologi inom Medicin
      • Programmeringsböcker inom Data och IT
      • Programvaruutveckling inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      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

      566 kr

      Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa - Computer Performance Engineering, Häftad

      Computer Performance Engineering

      Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa

      Häftad, 2010

      566 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

      Vittorio Cortellessa, Luciano Bononi, Marco Bernardo, Alessandro Aldini - Computer Performance Engineering, E-bok

      Computer Performance Engineering

      Vittorio Cortellessa, Luciano Bononi, Marco Bernardo, Alessandro Aldini

      E-bok
      2010

      732 kr

      Flavio Corradini, Marco Bernardo, Alessandro Aldini - Process Algebraic Approach to Software Architecture Design, E-bok

      Process Algebraic Approach to Software Architecture Design

      Flavio Corradini, Marco Bernardo, Alessandro Aldini

      E-bok
      2010

      732 kr

      Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky - Formal Methods for Dynamical Systems, Häftad

      Formal Methods for Dynamical Systems

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

      Häftad, 2013

      521 kr

      Alessandro Aldini, Marco Bernardo, Flavio Corradini - Process Algebraic Approach to Software Architecture Design, Inbunden

      Process Algebraic Approach to Software Architecture Design

      Alessandro Aldini, Marco Bernardo, Flavio Corradini

      Inbunden, 2009

      567 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

      567 kr

      Rajagopal Nagarajan, Pasquale Malacaria, Alessandra Di Pierro - From Lambda Calculus to Cybersecurity Through Program Analysis, E-bok

      From Lambda Calculus to Cybersecurity Through Program Analysis

      Rajagopal Nagarajan, Pasquale Malacaria, Alessandra Di Pierro

      E-bok
      2020

      710 kr

      Paolo Ciancarini, Herbert Wiklicky - Coordination Models and Languages, Häftad

      Coordination Models and Languages

      Paolo Ciancarini, Herbert Wiklicky

      Häftad, 2006

      566 kr