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

      Formal Methods

      22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

      AvKlaus Havelund,Jan Peleska

      Häftad, Engelska, 2018

      Del i serien Lecture Notes in Computer Science

      1 033 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.

      Produktinformation

      • Utgivningsdatum:2018-07-12
      • Mått:155 x 235 x 38 mm
      • Vikt:1 054 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:692
      • Förlag:Springer International Publishing AG
      • ISBN:9783319955810

      Utforska kategorier

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

      Du kanske också är intresserad av

      Erik de Vink, Bill Roscoe, Jan Peleska, Klaus Havelund - Formal Methods, E-bok

      Formal Methods

      Erik de Vink, Bill Roscoe, Jan Peleska, Klaus Havelund

      E-bok
      2018

      1 306 kr

      Bill Roscoe, Marcio Cornelio - Formal Methods: Foundations and Applications, E-bok

      Formal Methods: Foundations and Applications

      Bill Roscoe, Marcio Cornelio

      E-bok
      2016

      575 kr

      Márcio Cornélio, Bill Roscoe - Formal Methods: Foundations and Applications, Häftad
      Del 9526

      Formal Methods: Foundations and Applications

      Márcio Cornélio, Bill Roscoe

      Häftad, 2016

      463 kr

      Klaus Havelund, John Penix, Willem Visser - SPIN Model Checking and Software Verification, Häftad

      SPIN Model Checking and Software Verification

      Klaus Havelund, John Penix, Willem Visser

      Häftad, 2000

      577 kr

      Ralph-Johan Back, Ion Petre, Erik de Vink - Transactions on Computational Systems Biology XIII, Häftad

      Transactions on Computational Systems Biology XIII

      Ralph-Johan Back, Ion Petre, Erik de Vink

      Häftad, 2011

      560 kr

      Erik de Vink, Ion Petre, Ralph-Johan Back - Transactions on Computational Systems Biology XIII, E-bok

      Transactions on Computational Systems Biology XIII

      Erik de Vink, Ion Petre, Ralph-Johan Back

      E-bok
      2011

      718 kr

      Ion Petre, Erik de Vink - Transactions on Computational Systems Biology XIV, Häftad

      Transactions on Computational Systems Biology XIV

      Ion Petre, Erik de Vink

      Häftad, 2012

      560 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

      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

      531 kr

      Erik de Vink, Ion Petre - Transactions on Computational Systems Biology XIV, E-bok

      Transactions on Computational Systems Biology XIV

      Erik de Vink, Ion Petre

      E-bok
      2012

      718 kr