• 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
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

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
    • 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

    Integrated Formal Methods

    8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

    AvStephan Merz,Dominique Mery

    E-bok
    PDF, Engelska, 2010

    732 kr

    Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

    Produktinformation

    • Utgivningsdatum:2010-10-01
    • Språk:Engelska
    • Filformat:PDF
    • Kopieringsskydd:LCP
    • ISBN:9783642162657
    • 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

    Dominique Méry, Stephan Merz - Integrated Formal Methods, Häftad

    Integrated Formal Methods

    Dominique Méry, Stephan Merz

    Häftad, 2010

    559 kr

    Fred Kröger, Stephan Merz - Temporal Logic and State Systems, Häftad

    Temporal Logic and State Systems

    Fred Kröger, Stephan Merz

    Häftad, 2010

    834 kr

    Fred Kröger, Stephan Merz - Temporal Logic and State Systems, Inbunden

    Temporal Logic and State Systems

    Fred Kröger, Stephan Merz

    Inbunden, 2008

    834 kr

    Carlos Ordonez, Dominique Mery, Matteo Golfarelli, Ladjel Bellatreche, El Hassan Abdelwahed - Model and Data Engineering, E-bok

    Model and Data Engineering

    Carlos Ordonez, Dominique Mery, Matteo Golfarelli, Ladjel Bellatreche, El Hassan Abdelwahed

    E-bok
    2018

    732 kr

    Philippe Palanque, Dominique Mery, Jose Creissac Campos, Uwe Glasser - Rigorous State-Based Methods, E-bok

    Rigorous State-Based Methods

    Philippe Palanque, Dominique Mery, Jose Creissac Campos, Uwe Glasser

    E-bok
    2023

    1 056 kr

    Carlos Ordonez, Kazumi Nakamatsu, Dominique Mery, Stephane Jean, Matteo Golfarelli, Djamal Benslimane, Ladjel Bellatreche, El Hassan Abdelwahed - New Trends in Model and Data Engineering, E-bok

    New Trends in Model and Data Engineering

    Carlos Ordonez, Kazumi Nakamatsu, Dominique Mery, Stephane Jean, Matteo Golfarelli, Djamal Benslimane, Ladjel Bellatreche, El Hassan Abdelwahed

    E-bok
    2018

    732 kr

    Dimitra Giannakopoulou, Dominique Mery - FM 2012: Formal Methods, Häftad

    FM 2012: Formal Methods

    Dimitra Giannakopoulou, Dominique Mery

    Häftad, 2012

    559 kr

    Dominique Mery, Shin Nakajima, Yamine Ait-Ameur - Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems, E-bok

    Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

    Dominique Mery, Shin Nakajima, Yamine Ait-Ameur

    E-bok
    2020

    1 389 kr

    Dominique Mery, Dimitra Giannakopoulou - FM 2012: Formal Methods, E-bok

    FM 2012: Formal Methods

    Dominique Mery, Dimitra Giannakopoulou

    E-bok
    2012

    732 kr

    Frank Houdek, Dominique Mery, Alexander Raschke - Rigorous State-Based Methods, E-bok

    Rigorous State-Based Methods

    Frank Houdek, Dominique Mery, Alexander Raschke

    E-bok
    2020

    732 kr