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

    Software Specification

    A Comparison of Formal Methods

    AvMarvin V. Zelkowitz,Jim Purtilo

    Häftad, Engelska, 1995

    295 kr

    Tillfälligt slut

    Fler format och utgåvor

    Inbunden

    Tillf. slut

    Beskrivning

    Based on material used by the authors in their teaching, this volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques, thus allowing professionals to write programs that are easier to reason about informally. The basic technology presented should be of use in all programming environments.

    Produktinformation

    • Utgivningsdatum:1995-05-01
    • Mått:152 x 229 x 11 mm
    • Vikt:276 g
    • Format:Häftad
    • Språk:Engelska
    • Antal sidor:200
    • Förlag:Intellect
    • ISBN:9781567500349

    Utforska kategorier

    • Programvaruutveckling inom Data och IT

    Innehållsförteckning

    • The axiomatic approach; functional correctness; predicate transformers; algebraic specifications; denotational semantics; specification models.
    Hoppa över listan

    Mer från samma författare

    Barry Boehm, Hans Dieter Rombach, Marvin V. Zelkowitz - Foundations of Empirical Software Engineering, Inbunden

    Foundations of Empirical Software Engineering

    Barry Boehm, Hans Dieter Rombach, Marvin V. Zelkowitz

    Inbunden, 2005

    1 876 kr

    Barry Boehm, Hans Dieter Rombach, Marvin V. Zelkowitz - Foundations of Empirical Software Engineering, Häftad

    Foundations of Empirical Software Engineering

    Barry Boehm, Hans Dieter Rombach, Marvin V. Zelkowitz

    Häftad, 2010

    1 327 kr

    Marvin V. Zelkowitz - Requirements for a Software Engineering Environment, Inbunden

    Requirements for a Software Engineering Environment

    Marvin V. Zelkowitz

    Inbunden, 1989

    295 kr

    Hoppa över listan

    Du kanske också är intresserad av

    Marvin V. Zelkowitz, Jim Purtilo, John D. Gannon - Software Specification, Inbunden

    Software Specification

    Marvin V. Zelkowitz, Jim Purtilo, John D. Gannon

    Inbunden, 1995

    363 kr

    Barry Boehm, Hans Dieter Rombach, Marvin V. Zelkowitz - Foundations of Empirical Software Engineering, Inbunden

    Foundations of Empirical Software Engineering

    Barry Boehm, Hans Dieter Rombach, Marvin V. Zelkowitz

    Inbunden, 2005

    1 876 kr

    Barry Boehm, Hans Dieter Rombach, Marvin V. Zelkowitz - Foundations of Empirical Software Engineering, Häftad

    Foundations of Empirical Software Engineering

    Barry Boehm, Hans Dieter Rombach, Marvin V. Zelkowitz

    Häftad, 2010

    1 327 kr

    Marvin V. Zelkowitz - Requirements for a Software Engineering Environment, Inbunden

    Requirements for a Software Engineering Environment

    Marvin V. Zelkowitz

    Inbunden, 1989

    295 kr

    Carola Häggkvist - SIGNERAD - Jag är Carola, Inbunden
    • Signerad!

    SIGNERAD - Jag är Carola

    Carola Häggkvist

    Inbunden, 2026

    269 kr

    Veronica Henry - Puben vid floden, Pocket
    • -51%

    Puben vid floden

    Veronica Henry

    Pocket, 2023

    4,2 utav 5 stjärnor. Totalt antal röster:(18)

    49 kr99 kr

    Marcus Frank - SIGNERAD - Mackans kost : Middagar och matlådor, Inbunden
    • Signerad!

    SIGNERAD - Mackans kost : Middagar och matlådor

    Marcus Frank

    Inbunden, 2026

    269 kr

    Eva Mozes Kor, Lisa Rojany Buccieri - Tvillingarna i Auschwitz : den inspirerande och sanna historien om en liten flicka som överlever fasorna i doktor Mengeles helvete, Pocket
    • -45%

    Tvillingarna i Auschwitz : den inspirerande och sanna historien om en liten flicka som överlever fasorna i doktor Mengeles helvete

    Eva Mozes Kor, Lisa Rojany Buccieri

    Pocket, 2022

    4,0 utav 5 stjärnor. Totalt antal röster:(14)

    49 kr89 kr

    Frida Gråsjö - Vatten över huvudet, Pocket
    • -45%
    Del 1

    Vatten över huvudet

    Frida Gråsjö

    Pocket, 2024

    3,4 utav 5 stjärnor. Totalt antal röster:(26)

    49 kr89 kr

    Gabriella Ullberg Westin - Calima, Pocket
    • -45%

    Calima

    Gabriella Ullberg Westin

    Pocket, 2024

    4,6 utav 5 stjärnor. Totalt antal röster:(5)

    49 kr89 kr