• 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

      ABZ 2014: The Landing Gear Case Study

      Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

      AvFrederic Boniol,Virginie Wiels

      Häftad, Engelska, 2014

      Del 433 i serien Communications in Computer and Information Science

      566 kr

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

      Beskrivning

      This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.

      Produktinformation

      • Utgivningsdatum:2014-05-26
      • Mått:155 x 235 x 10 mm
      • Vikt:277 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Communications in Computer and Information Science
      • Antal sidor:161
      • Förlag:Springer International Publishing AG
      • ISBN:9783319075112

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT

      Innehållsförteckning

      • Formal techniques: B, ASM, Fiacre.- Kinds of verification.- Proof.- Model checking.- Test generation.- Run-time monitoring.- Simulation.
      Hoppa över listan

      Du kanske också är intresserad av

      Klaus-Dieter Schewe, Yamine Ait Ameur - Abstract State Machines, Alloy, B, TLA, VDM, and Z, E-bok

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

      Klaus-Dieter Schewe, Yamine Ait Ameur

      E-bok
      2014

      732 kr

      Yamine Ait Ameur, Klaus-Dieter Schewe - Abstract State Machines, Alloy, B, TLA, VDM, and Z, Häftad

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

      Yamine Ait Ameur, Klaus-Dieter Schewe

      Häftad, 2014

      566 kr

      Klaus-Dieter Schewe, Yamine Ait Ameur, Virginie Wiels, Frederic Boniol - ABZ 2014: The Landing Gear Case Study, E-bok

      ABZ 2014: The Landing Gear Case Study

      Klaus-Dieter Schewe, Yamine Ait Ameur, Virginie Wiels, Frederic Boniol

      E-bok
      2014

      732 kr

      Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos - Engineering of Complex Computer Systems, Häftad
      Del 14784

      Engineering of Complex Computer Systems

      Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos

      Häftad, 2024

      847 kr

      Florin Craciun, Yamine Ait-Ameur - Theoretical Aspects of Software Engineering, E-bok

      Theoretical Aspects of Software Engineering

      Florin Craciun, Yamine Ait-Ameur

      E-bok
      2022

      1 211 kr

      Shengchao Qin, Yamine Ait-Ameur - Formal Methods and Software Engineering, E-bok

      Formal Methods and Software Engineering

      Shengchao Qin, Yamine Ait-Ameur

      E-bok
      2019

      732 kr

      Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos - Model and Data Engineering, Häftad
      Del 8748

      Model and Data Engineering

      Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos

      Häftad, 2014

      566 kr

      George A. Papadopoulos, Ladjel Bellatreche, Yamine Ait Ameur - Model and Data Engineering, E-bok

      Model and Data Engineering

      George A. Papadopoulos, Ladjel Bellatreche, Yamine Ait Ameur

      E-bok
      2014

      732 kr

      Yamine Ait-Ameur, Jesus M. Almendros Jimenez, Oscar Pastor, Ladjel Bellatreche - Model and Data Engineering, E-bok

      Model and Data Engineering

      Yamine Ait-Ameur, Jesus M. Almendros Jimenez, Oscar Pastor, Ladjel Bellatreche

      E-bok
      2016

      732 kr

      Yamine Aït-Ameur, Florin Crăciun - Theoretical Aspects of Software Engineering, Häftad
      Del 13299

      Theoretical Aspects of Software Engineering

      Yamine Aït-Ameur, Florin Crăciun

      Häftad, 2022

      959 kr