Filtrera

Ämne
  • (2)
Format
  • (1)
  • (1)
Leveranstid
  • (1)

Robert Gerth - Böcker

Visar alla böcker av Robert Gerth. Handla med fri frakt och snabb leverans!

  1. Theoretical and Practical Aspects of SPIN Model Checking E-bok

    av Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek

    E-bok (PDF, LCP), Engelska, 2003-05-21
    746
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Theoretical and Practical Aspects of SPIN Model Checking

    Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been develope...

    Läs mer »

  2. Theoretical and Practical Aspects of SPIN Model Checking

    av Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek

    Häftad, Engelska, 1999-09-01
    760
    Köp
    Skickas från oss inom 7-10 vardagar.
    Theoretical and Practical Aspects of SPIN Model Checking

    Increasing the designers con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed...

    Läs mer »