• 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. Data och IT
      2. Programmeringsböcker

      Formal Methods

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

      AvErik de Vink,Bill Roscoe

      E-bok
      Engelska, 2018

      1 292 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet

      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-11
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783319955827
      • Förlag:Springer International Publishing

      Utforska kategorier

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

      Du kanske också är intresserad av

      Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink - Formal Methods, Häftad

      Formal Methods

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

      Häftad, 2018

      1 013 kr

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

      Formal Methods: Foundations and Applications

      Bill Roscoe, Marcio Cornelio

      E-bok
      2016

      569 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

      454 kr

      Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann - Runtime Verification, Häftad

      Runtime Verification

      Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann

      Häftad, 2010

      566 kr

      Nikolai Tillmann, Oleg Sokolsky, Grigore Rosu, Gordon Pace, Insup Lee, Klaus Havelund, Bernd Finkbeiner, Ylies Falcone, Howard Barringer - Runtime Verification, E-bok

      Runtime Verification

      Nikolai Tillmann, Oleg Sokolsky, Grigore Rosu, Gordon Pace, Insup Lee, Klaus Havelund, Bernd Finkbeiner, Ylies Falcone, Howard Barringer

      E-bok
      2010

      732 kr

      Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi - NASA Formal Methods, Häftad

      NASA Formal Methods

      Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi

      Häftad, 2011

      566 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

      549 kr

      Burkhart Wolff, Grigore Rosu, Manuel Nunez, Klaus Havelund - Formal Approaches to Software Testing and Runtime Verification, E-bok

      Formal Approaches to Software Testing and Runtime Verification

      Burkhart Wolff, Grigore Rosu, Manuel Nunez, Klaus Havelund

      E-bok
      2006

      732 kr

      Klaus Havelund, Erika Abraham - Tools and Algorithms for the Construction and Analysis of Systems, E-bok

      Tools and Algorithms for the Construction and Analysis of Systems

      Klaus Havelund, Erika Abraham

      E-bok
      2014

      732 kr

      Klaus Havelund, Gerard Holzmann, Rajeev Joshi - NASA Formal Methods, Häftad

      NASA Formal Methods

      Klaus Havelund, Gerard Holzmann, Rajeev Joshi

      Häftad, 2015

      566 kr