• 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. Data och IT
      2. Programmeringsböcker

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

      5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

      AvMiklos Biro,Atif Mashkoor

      E-bok
      PDF, Engelska, 2016

      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).

      Beskrivning

      This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016.
      The 17 full and 15 short papers presented in this volume were carefullyreviewed and selected from 61 submissions. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.

      Produktinformation

      • Utgivningsdatum:2016-05-12
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783319336008
      • Förlag:Springer International Publishing

      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 Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro - Abstract State Machines, Alloy, B, TLA, VDM, and Z, Häftad
      Del 9675

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

      Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro

      Häftad, 2016

      566 kr

      Sohail Khan, Florian Sobieczky, Gerald Czech, Lukas Fischer, Jorge Martinez-Gil, Anna Fensel, Johannes Sametinger, Atif Mashkoor, Bernhard Moser, Ismail Khalil, A Min Tjoa, Gabriele Kotsis - Database and Expert Systems Applications - DEXA 2021 Workshops, E-bok

      Database and Expert Systems Applications - DEXA 2021 Workshops

      Sohail Khan, Florian Sobieczky, Gerald Czech, Lukas Fischer, Jorge Martinez-Gil, Anna Fensel, Johannes Sametinger, Atif Mashkoor, Bernhard Moser, Ismail Khalil, A Min Tjoa, Gabriele Kotsis

      E-bok
      2021

      732 kr

      Sabrina Luftensteiner, Michael Mayr, Anna-Christina Glock, Johannes Sametinger, Atif Mashkoor, Lukas Fischer, Bernhard Moser - Database and Expert Systems Applications - DEXA 2024 Workshops, E-bok

      Database and Expert Systems Applications - DEXA 2024 Workshops

      Sabrina Luftensteiner, Michael Mayr, Anna-Christina Glock, Johannes Sametinger, Atif Mashkoor, Lukas Fischer, Bernhard Moser

      E-bok
      2024

      1 625 kr

      Atif Mashkoor, Qing Wang, Bernhard Thalheim - Models, Häftad

      Models

      Atif Mashkoor, Qing Wang, Bernhard Thalheim

      Häftad, 2018

      256 kr

      Maqbool Khan, Johannes Sametinger, Atif Mashkoor, Bernhard Moser, Ismail Khalil, A Min Tjoa, Gabriele Kotsis - Database and Expert Systems Applications - DEXA 2023 Workshops, E-bok

      Database and Expert Systems Applications - DEXA 2023 Workshops

      Maqbool Khan, Johannes Sametinger, Atif Mashkoor, Bernhard Moser, Ismail Khalil, A Min Tjoa, Gabriele Kotsis

      E-bok
      2023

      894 kr

      Michael Granitzer, Benno Stein, Christin Seifert, Bernhard Moser, Jorge Martinez-Gil, Anna Fensel, Xabier Larrucea, Johannes Sametinger, Atif Mashkoor, Mourad Elloumi, Ismail Khalil, A Min Tjoa, Gabriele Anderst-Kotsis - Database and Expert Systems Applications, E-bok

      Database and Expert Systems Applications

      Michael Granitzer, Benno Stein, Christin Seifert, Bernhard Moser, Jorge Martinez-Gil, Anna Fensel, Xabier Larrucea, Johannes Sametinger, Atif Mashkoor, Mourad Elloumi, Ismail Khalil, A Min Tjoa, Gabriele Anderst-Kotsis

      E-bok
      2019

      732 kr

      Gerald Czech, Maqbool Khan, Rudolf Ramler, Lukas Fischer, Florian Sobieczky, Jorge Martinez-Gil, Johannes Sametinger, Atif Mashkoor, Alfred Taudes, Bernhard Moser, Ismail Khalil, A Min Tjoa, Gabriele Kotsis - Database and Expert Systems Applications - DEXA 2022 Workshops, E-bok

      Database and Expert Systems Applications - DEXA 2022 Workshops

      Gerald Czech, Maqbool Khan, Rudolf Ramler, Lukas Fischer, Florian Sobieczky, Jorge Martinez-Gil, Johannes Sametinger, Atif Mashkoor, Alfred Taudes, Bernhard Moser, Ismail Khalil, A Min Tjoa, Gabriele Kotsis

      E-bok
      2022

      1 780 kr

      Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Anna Fensel, Jorge Martinez-Gil, Lukas Fischer, Gerald Czech, Florian Sobieczky, Sohail Khan - Database and Expert Systems Applications - DEXA 2021 Workshops, Häftad
      Del 1479

      Database and Expert Systems Applications - DEXA 2021 Workshops

      Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Anna Fensel, Jorge Martinez-Gil, Lukas Fischer, Gerald Czech, Florian Sobieczky, Sohail Khan

      Häftad, 2021

      567 kr

      Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Lukas Fischer, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Anna Fensel, Jorge Martinez-Gil - Database and Expert Systems Applications, Häftad
      Del 1285

      Database and Expert Systems Applications

      Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Lukas Fischer, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Anna Fensel, Jorge Martinez-Gil

      Häftad, 2020

      566 kr

      Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Maqbool Khan - Database and Expert Systems Applications - DEXA 2023 Workshops, Häftad
      Del 1872

      Database and Expert Systems Applications - DEXA 2023 Workshops

      Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Maqbool Khan

      Häftad, 2023

      733 kr