• 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. Programmeringsböcker
      3. Programvaruutveckling

      Dependable Software Engineering: Theories, Tools, and Applications

      First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

      AvWang Yi,Zhiming Liu

      E-bok
      PDF, Engelska, 2015

      650 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

      Beskrivning

      This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.

      The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.

      Produktinformation

      • Utgivningsdatum:2015-10-16
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783319259420
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Programvaruutveckling inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Xuandong Li, Zhiming Liu, Wang Yi - Dependable Software Engineering: Theories, Tools, and Applications, Häftad
      Del 9409

      Dependable Software Engineering: Theories, Tools, and Applications

      Xuandong Li, Zhiming Liu, Wang Yi

      Häftad, 2015

      544 kr

      Wang Yi, Paul Pettersson - Formal Modeling and Analysis of Timed Systems, E-bok

      Formal Modeling and Analysis of Timed Systems

      Wang Yi, Paul Pettersson

      E-bok
      2005

      732 kr

      Wang Yi, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems, E-bok

      Tools and Algorithms for the Construction and Analysis of Systems

      Wang Yi, Tiziana Margaria

      E-bok
      2003

      1 455 kr

      Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi - Model Checking, Synthesis, and Learning, Häftad
      Del 13030

      Model Checking, Synthesis, and Learning

      Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi

      Häftad, 2021

      738 kr

      Wang Yi, J. D. Tseng, Hannah Nation - Faithful Disobedience, E-bok

      Faithful Disobedience

      Wang Yi, J. D. Tseng, Hannah Nation

      E-bok
      2022

      277 kr

      Wang Yi, Hannah Nation, J. D. Tseng - Treuer Ungehorsam, Inbunden

      Treuer Ungehorsam

      Wang Yi, Hannah Nation, J. D. Tseng

      Inbunden

      288 kr

      Paul Pettersson, Wang Yi - Formal Modeling and Analysis of Timed Systems, Häftad

      Formal Modeling and Analysis of Timed Systems

      Paul Pettersson, Wang Yi

      Häftad, 2005

      549 kr

      Tiziana Margaria, Wang Yi - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

      Tools and Algorithms for the Construction and Analysis of Systems

      Tiziana Margaria, Wang Yi

      Häftad, 2001

      1 124 kr

      Wang Yi, Bernhard Steffen, Ernst-Rudiger Olderog - Model Checking, Synthesis, and Learning, E-bok

      Model Checking, Synthesis, and Learning

      Wang Yi, Bernhard Steffen, Ernst-Rudiger Olderog

      E-bok
      2021

      903 kr

      Zhiming Liu, Keijiro Araki - Theoretical Aspects of Computing - ICTAC 2004, Häftad

      Theoretical Aspects of Computing - ICTAC 2004

      Zhiming Liu, Keijiro Araki

      Häftad, 2005

      1 124 kr