• 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

      Formal Methods at the Crossroads. From Panacea to Foundational Support

      10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

      AvTom Maibaum,Bernhard K. Aichernig

      E-bok
      PDF, Engelska, 2011

      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:2011-03-29
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540400073
      • 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

      Bernhard K. Aichernig, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support, Häftad

      Formal Methods at the Crossroads. From Panacea to Foundational Support

      Bernhard K. Aichernig, Tom Maibaum

      Häftad, 2003

      566 kr

      Bernhard K. Aichernig, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Soft, Övrigt

      Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Soft

      Bernhard K. Aichernig, Tom Maibaum

      667 kr

      Marcello M. Bonsangue, Frank S. de Boer, Bernhard K. Aichernig - Formal Methods for Components and Objects, E-bok

      Formal Methods for Components and Objects

      Marcello M. Bonsangue, Frank S. de Boer, Bernhard K. Aichernig

      E-bok
      2011

      734 kr

      Bernhard K. Aichernig, Carlo A. Furia - Tests and Proofs, Häftad
      Del 9762

      Tests and Proofs

      Bernhard K. Aichernig, Carlo A. Furia

      Häftad, 2016

      566 kr

      Markus Roggenbach, Tom Maibaum, Apurva Kumar, Stefan Gruner - On the Construction of Engineering Handbooks, E-bok

      On the Construction of Engineering Handbooks

      Markus Roggenbach, Tom Maibaum, Apurva Kumar, Stefan Gruner

      E-bok
      2020

      710 kr

      Carlo A. Furia, Bernhard K. Aichernig - Tests and Proofs, E-bok

      Tests and Proofs

      Carlo A. Furia, Bernhard K. Aichernig

      E-bok
      2016

      732 kr

      Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue - Formal Methods for Components and Objects, Häftad

      Formal Methods for Components and Objects

      Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue

      Häftad, 2011

      566 kr

      Tom Maibaum - Fundamental Approaches to Software Engineering, Häftad

      Fundamental Approaches to Software Engineering

      Tom Maibaum

      Häftad, 2000

      566 kr

      Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach - On the Construction of Engineering Handbooks, Häftad

      On the Construction of Engineering Handbooks

      Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach

      Häftad, 2020

      553 kr

      Shaoying Liu, Tom Maibaum, Keijiro Araki - Formal Methods and Software Engineering, Häftad

      Formal Methods and Software Engineering

      Shaoying Liu, Tom Maibaum, Keijiro Araki

      Häftad, 2008

      566 kr