• 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
      3. Programvaruutveckling

      ZB 2005: Formal Specification and Development in Z and B

      4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

      AvSteve Schneider,Martin Henson

      E-bok
      PDF, Engelska, 2005

      1 455 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:2005-04-25
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540320074
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Programvaruutveckling inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Helen Treharne, Steve King, Martin Henson, Steve Schneider - ZB 2005: Formal Specification and Development in Z and B, Häftad

      ZB 2005: Formal Specification and Development in Z and B

      Helen Treharne, Steve King, Martin Henson, Steve Schneider

      Häftad, 2005

      1 142 kr

      Helen Treharne - Hostile Relations, E-bok

      Hostile Relations

      Helen Treharne

      E-bok

      44 kr

      Steve Schneider, Kaitai Liang, Ninghui Li, Liqun Chen - Computer Security - ESORICS 2020, E-bok

      Computer Security - ESORICS 2020

      Steve Schneider, Kaitai Liang, Ninghui Li, Liqun Chen

      E-bok
      2020

      739 kr

      Steve Schneider, Kaitai Liang, Ninghui Li, Liqun Chen - Computer Security - ESORICS 2020, E-bok

      Computer Security - ESORICS 2020

      Steve Schneider, Kaitai Liang, Ninghui Li, Liqun Chen

      E-bok
      2020

      732 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

      Steve Schneider, Ahmad-Reza Sadeghi, Mark Manulis - Applied Cryptography and Network Security, E-bok

      Applied Cryptography and Network Security

      Steve Schneider, Ahmad-Reza Sadeghi, Mark Manulis

      E-bok
      2016

      732 kr

      Helen Treharne - Death in the Family, E-bok

      Death in the Family

      Helen Treharne

      E-bok

      44 kr

      John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne - Integrated Formal Methods, Häftad

      Integrated Formal Methods

      John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne

      Häftad, 2012

      574 kr

      Helen Treharne - Relative Strangers, E-bok

      Relative Strangers

      Helen Treharne

      E-bok

      39 kr

      Steve Schneider, Nadia Polikarpova - Integrated Formal Methods, E-bok

      Integrated Formal Methods

      Steve Schneider, Nadia Polikarpova

      E-bok
      2017

      734 kr