• 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

    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

    559 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

    559 kr

    Tom Maibaum - Fundamental Approaches to Software Engineering, E-bok

    Fundamental Approaches to Software Engineering

    Tom Maibaum

    E-bok
    2003

    732 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

    559 kr

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

    Fundamental Approaches to Software Engineering

    Tom Maibaum

    Häftad, 2000

    559 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

    542 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

    559 kr