• 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. Systemvetenskap och AI

    Tools and Algorithms for the Construction and Analysis of Systems

    AvBernhard Steffen,Fabrice Kordon

    Inbunden, Engelska, 2020

    711 kr

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

    Fler format och utgåvor

    Häftad

    640 kr

    Produktinformation

    • Utgivningsdatum:2020-10-08
    • Mått:216 x 279 x 18 mm
    • Vikt:939 g
    • Format:Inbunden
    • Språk:Engelska
    • Antal sidor:280
    • Förlag:Saint Philip Street Press
    • ISBN:9781013271212

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Nätverk och kommunikation inom Data och IT
    • Programmeringsböcker inom Data och IT
    Hoppa över listan

    Mer från samma författare

    Bernhard Steffen - Karten Von Mykenai, Inbunden

    Karten Von Mykenai

    Bernhard Steffen

    Inbunden, 2025

    356 kr

    Bernhard Steffen - Karten Von Mykenai, Häftad

    Karten Von Mykenai

    Bernhard Steffen

    Häftad, 2025

    185 kr

    Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Modeling, Häftad

    Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    Tiziana Margaria, Bernhard Steffen

    Häftad, 2018

    557 kr

    Bernhard Steffen, Tiziana Margaria - Leveraging Applications of Formal Methods, Verification and Validation. Modeling, E-bok

    Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    Bernhard Steffen, Tiziana Margaria

    E-bok
    2018

    732 kr

    Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Verification, Häftad

    Leveraging Applications of Formal Methods, Verification and Validation. Verification

    Tiziana Margaria, Bernhard Steffen

    Häftad, 2018

    557 kr

    Bernhard Steffen, Tiziana Margaria - Leveraging Applications of Formal Methods, Verification and Validation. Verification, E-bok

    Leveraging Applications of Formal Methods, Verification and Validation. Verification

    Bernhard Steffen, Tiziana Margaria

    E-bok
    2018

    732 kr

    Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, Häftad

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    Tiziana Margaria, Bernhard Steffen

    Häftad, 2018

    557 kr

    Bernhard Steffen, Tiziana Margaria - Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, E-bok

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    Bernhard Steffen, Tiziana Margaria

    E-bok
    2018

    732 kr

    Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Häftad

    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

    Tiziana Margaria, Bernhard Steffen

    Häftad, 2018

    557 kr

    Bernhard Steffen, Tiziana Margaria - Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, E-bok

    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

    Bernhard Steffen, Tiziana Margaria

    E-bok
    2018

    732 kr

    Hoppa över listan

    Du kanske också är intresserad av

    Bernhard Steffen, Fabrice Kordon, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

    Tools and Algorithms for the Construction and Analysis of Systems

    Bernhard Steffen, Fabrice Kordon, Marieke Huisman

    Häftad, 2020

    640 kr

    Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
    Del 11429

    Tools and Algorithms for the Construction and Analysis of Systems

    Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

    Häftad, 2019

    557 kr

    Anton Wijs, Marieke Huisman - Concise Guide to Software Verification, E-bok

    Concise Guide to Software Verification

    Anton Wijs, Marieke Huisman

    E-bok
    2023

    868 kr

    Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet - Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Häftad

    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet

    Häftad, 2006

    557 kr

    Julia Rubin, Marieke Huisman - Fundamental Approaches to Software Engineering, E-bok

    Fundamental Approaches to Software Engineering

    Julia Rubin, Marieke Huisman

    E-bok
    2017

    732 kr

    Marieke Huisman, Anton Wijs - Concise Guide to Software Verification, Häftad

    Concise Guide to Software Verification

    Marieke Huisman, Anton Wijs

    Häftad, 2024

    648 kr

    Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean - Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Häftad

    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean

    Häftad, 2005

    557 kr

    Marieke Huisman, Anton Wijs - Concise Guide to Software Verification : From Model Checking to Annotation Checking, Övrigt

    Concise Guide to Software Verification : From Model Checking to Annotation Checking

    Marieke Huisman, Anton Wijs

    648 kr

    Jan Friso Groote, Marieke Huisman - Formal Methods for Industrial Critical Systems, Häftad
    Del 13487

    Formal Methods for Industrial Critical Systems

    Jan Friso Groote, Marieke Huisman

    Häftad, 2022

    777 kr

    Marieke Huisman, Corina Păsăreanu, Naijun Zhan - Formal Methods, Häftad
    Del 13047

    Formal Methods

    Marieke Huisman, Corina Păsăreanu, Naijun Zhan

    Häftad, 2021

    1 217 kr