• 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

      Integrated Formal Methods

      9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

      AvJohn Derrick,Stefania Gnesi

      Häftad, Engelska, 2012

      Del i serien Lecture Notes in Computer Science

      574 kr

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

      Beskrivning

      This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.

      Produktinformation

      • Utgivningsdatum:2012-06-06
      • Mått:155 x 235 x 21 mm
      • Vikt:563 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:360
      • Upplaga:2012
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783642307287

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Programmeringsböcker 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

      718 kr

      Helen Treharne, Diego Latella, Stefania Gnesi, John Derrick - Integrated Formal Methods, E-bok

      Integrated Formal Methods

      Helen Treharne, Diego Latella, Stefania Gnesi, John Derrick

      E-bok
      2012

      732 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

      558 kr

      Tommaso Bolognesi, Diego Latella - Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques f, Övrigt

      Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques f

      Tommaso Bolognesi, Diego Latella

      667 kr

      Diego Latella, Tommaso Bolognesi - Formal Methods for Distributed System Development, E-bok

      Formal Methods for Distributed System Development

      Diego Latella, Tommaso Bolognesi

      E-bok
      2013

      2 862 kr

      Tommaso Bolognesi, Diego Latella - Formal Methods for Distributed System Development, Häftad
      Del 55

      Formal Methods for Distributed System Development

      Tommaso Bolognesi, Diego Latella

      Häftad, 2013

      2 210 kr

      Ifip Tc6 Wg6 1 Joint International Confe, Tommaso Bolognesi, Diego Latella - Formal Methods for Distributed System Development, Inbunden

      Formal Methods for Distributed System Development

      Ifip Tc6 Wg6 1 Joint International Confe, Tommaso Bolognesi, Diego Latella

      Inbunden, 2000

      2 276 kr

      Helen Treharne - Hostile Relations, E-bok

      Hostile Relations

      Helen Treharne

      E-bok

      44 kr

      Steve Schneider, Martin Henson, Steve King, Helen Treharne - ZB 2005: Formal Specification and Development in Z and B, E-bok

      ZB 2005: Formal Specification and Development in Z and B

      Steve Schneider, Martin Henson, Steve King, Helen Treharne

      E-bok
      2005

      1 455 kr

      Helen Treharne - Relative Strangers, E-bok

      Relative Strangers

      Helen Treharne

      E-bok

      39 kr