• 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. Ekonomi och Ledarskap
      2. Företagsekonomi
      3. Affärsförhandlingar

      FM 2016: Formal Methods

      21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

      AvAnna Philippou,Stefania Gnesi

      E-bok
      PDF, Engelska, 2016

      734 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 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The  broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.

      Produktinformation

      • Utgivningsdatum:2016-11-06
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783319489896
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Affärsförhandlingar inom Ekonomi och Ledarskap
      • Programvaruutveckling inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Elvinia Riccobene, Steve Reeves, Michael Leuschel, Sarfraz Khurshid, Stefania Gnesi, John Fitzgerald, John Derrick - Abstract State Machines, Alloy, B, VDM, and Z, E-bok

      Abstract State Machines, Alloy, B, VDM, and Z

      Elvinia Riccobene, Steve Reeves, Michael Leuschel, Sarfraz Khurshid, Stefania Gnesi, John Fitzgerald, John Derrick

      E-bok
      2012

      710 kr

      John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou - FM 2016: Formal Methods, Häftad

      FM 2016: Formal Methods

      John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

      Häftad, 2016

      566 kr

      John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene - Abstract State Machines, Alloy, B, VDM, and Z, Häftad

      Abstract State Machines, Alloy, B, VDM, and Z

      John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene

      Häftad, 2012

      549 kr

      Anna Philippou, Mohammad Reza Mousavi - Formal Techniques for Distributed Objects, Components, and Systems, E-bok

      Formal Techniques for Distributed Objects, Components, and Systems

      Anna Philippou, Mohammad Reza Mousavi

      E-bok
      2022

      975 kr

      Stefan Kowalewski, Anna Philippou - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

      Tools and Algorithms for the Construction and Analysis of Systems

      Stefan Kowalewski, Anna Philippou

      Häftad, 2009

      566 kr

      Mohammad Reza Mousavi, Anna Philippou - Formal Techniques for Distributed Objects, Components, and Systems, Häftad
      Del 13273

      Formal Techniques for Distributed Objects, Components, and Systems

      Mohammad Reza Mousavi, Anna Philippou

      Häftad, 2022

      791 kr

      Anna Philippou, Stefan Kowalewski - Tools and Algorithms for the Construction and Analysis of Systems, E-bok

      Tools and Algorithms for the Construction and Analysis of Systems

      Anna Philippou, Stefan Kowalewski

      E-bok
      2009

      732 kr

      Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp - Critical Systems: Formal Methods and Automated Verification, Häftad
      Del 9933

      Critical Systems: Formal Methods and Automated Verification

      Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

      Häftad, 2016

      566 kr

      Laura Semini, Anne E. Haxthausen, Stefania Gnesi, Maurice H. ter Beek - Journeys Between Formal Methods and the Railway Industry, E-bok

      Journeys Between Formal Methods and the Railway Industry

      Laura Semini, Anne E. Haxthausen, Stefania Gnesi, Maurice H. ter Beek

      E-bok
      2026

      1 373 kr

      Stefania Gnesi, Alessio Ferrari, Liliana Pasquale, Nazim Madhavji - Requirements Engineering: Foundation for Software Quality, E-bok

      Requirements Engineering: Foundation for Software Quality

      Stefania Gnesi, Alessio Ferrari, Liliana Pasquale, Nazim Madhavji

      E-bok
      2020

      739 kr