Filtrera

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

Mieke Massinek - Böcker

Visar alla böcker av Mieke Massinek. 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
    742
    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. Lecture Notes in Computer Science, del 1680:

    Theoretical and Practical Aspects of SPIN Model Checking

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

    Häftad, Engelska, 1999-09-08
    585
    Köp
    Skickas från oss inom 7-10 vardagar.
    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 »