• 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 and Software Engineering

      9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

      AvMaria M. Larrondo-Petrie,Michael G. Hinchey

      E-bok
      PDF, Engelska, 2007

      734 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:2007-10-27
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540766506
      • 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

      Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie - Formal Methods and Software Engineering, Häftad

      Formal Methods and Software Engineering

      Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie

      Häftad, 2007

      577 kr

      Michael G. Hinchey, Andreas Fett, Jonathan P. Bowen - ZUM '98: The Z Formal Specification Notation, E-bok

      ZUM '98: The Z Formal Specification Notation

      Michael G. Hinchey, Andreas Fett, Jonathan P. Bowen

      E-bok
      2011

      739 kr

      Walt Truszkowski, Christopher A. Rouff, James L. Rash, Patricia Rago, Michael G. Hinchey - Innovative Concepts for Autonomic and Agent-Based Systems, E-bok

      Innovative Concepts for Autonomic and Agent-Based Systems

      Walt Truszkowski, Christopher A. Rouff, James L. Rash, Patricia Rago, Michael G. Hinchey

      E-bok
      2006

      718 kr

      Jonathan P. Bowen, Michael G. Hinchey - Industrial-Strength Formal Methods in Practice, E-bok

      Industrial-Strength Formal Methods in Practice

      Jonathan P. Bowen, Michael G. Hinchey

      E-bok
      2012

      2 127 kr

      Michael G. Hinchey, Diana Gordon, Walter Truszkowski, Christopher A. Rouff, James L. Rash - Formal Approaches to Agent-Based Systems, E-bok

      Formal Approaches to Agent-Based Systems

      Michael G. Hinchey, Diana Gordon, Walter Truszkowski, Christopher A. Rouff, James L. Rash

      E-bok
      2003

      739 kr

      Michael G. Hinchey, Jonathan P. Bowen - Industrial-Strength Formal Methods in Practice, Häftad

      Industrial-Strength Formal Methods in Practice

      Michael G. Hinchey, Jonathan P. Bowen

      Häftad, 1999

      1 716 kr

      Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff - Formal Approaches to Agent-Based Systems, Häftad

      Formal Approaches to Agent-Based Systems

      Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

      Häftad, 2005

      577 kr

      Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears - Formal Approaches to Agent-Based Systems, Häftad

      Formal Approaches to Agent-Based Systems

      Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears

      Häftad, 2003

      560 kr

      Jonathan P. Bowen, Michael G. Hinchey - High-Integrity System Specification and Design, Häftad

      High-Integrity System Specification and Design

      Jonathan P. Bowen, Michael G. Hinchey

      Häftad, 1999

      577 kr

      Christopher A. Rouff, Walter F. Truszkowski, James L. Rash, Michael G. Hinchey - Formal Approaches to Agent-Based Systems, E-bok

      Formal Approaches to Agent-Based Systems

      Christopher A. Rouff, Walter F. Truszkowski, James L. Rash, Michael G. Hinchey

      E-bok
      2005

      718 kr