• 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

      Integrated Formal Methods

      7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings

      AvHeike Wehrheim,Michael Leuschel

      E-bok
      PDF, Engelska, 2009

      739 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 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.

      Produktinformation

      • Utgivningsdatum:2009-02-07
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783642002557
      • Förlag:Springer Berlin Heidelberg

      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

      Michael Leuschel, Heike Wehrheim - Integrated Formal Methods, Häftad

      Integrated Formal Methods

      Michael Leuschel, Heike Wehrheim

      Häftad, 2009

      581 kr

      Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel - Formal Methods for Components and Objects, Häftad

      Formal Methods for Components and Objects

      Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel

      Häftad, 2011

      581 kr

      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

      Michael Leuschel, Stefan Hallerstede, Marcello M. Bonsangue, Frank S. de Boer - Formal Methods for Components and Objects, E-bok

      Formal Methods for Components and Objects

      Michael Leuschel, Stefan Hallerstede, Marcello M. Bonsangue, Frank S. de Boer

      E-bok
      2010

      739 kr

      Heike Wehrheim, Andre Platzer, Roland Meyer - Correct System Design, E-bok

      Correct System Design

      Heike Wehrheim, Andre Platzer, Roland Meyer

      E-bok
      2015

      638 kr

      Patrizia Scandurra, Elvinia Riccobene, Michael Leuschel, Angelo Gargantini, Silvia Bonfanti - Rigorous State-Based Methods, E-bok

      Rigorous State-Based Methods

      Patrizia Scandurra, Elvinia Riccobene, Michael Leuschel, Angelo Gargantini, Silvia Bonfanti

      E-bok
      2024

      1 067 kr

      Fuyuki Ishikawa, Michael Leuschel - Rigorous State-Based Methods, E-bok

      Rigorous State-Based Methods

      Fuyuki Ishikawa, Michael Leuschel

      E-bok
      2025

      1 780 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

      564 kr

      Michael Leuschel, Fuyuki Ishikawa - Rigorous State-Based Methods, Häftad
      Del 15728

      Rigorous State-Based Methods

      Michael Leuschel, Fuyuki Ishikawa

      Häftad, 2025

      1 472 kr

      Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra - Rigorous State-Based Methods, Häftad

      Rigorous State-Based Methods

      Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra

      Häftad, 2024

      868 kr