Robert Gerth – författare

Visar alla böcker från författaren Robert Gerth. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Theoretical and Practical Aspects of SPIN Model Checking

   5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

   Av Mieke Massinek, Stefan Leue m. fl.

   E-bok, 2003

   755 kr

   Lägg i varukorg

   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 developed, including rigorous speci cation, formal veri …

2. 

   Theoretical and Practical Aspects of SPIN Model Checking

   5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

   Av Dennis Dams, Robert Gerth m. fl.

   Häftad, 1999

   568 kr

   Lägg i varukorg

   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 developed, including rigorous speci cation, formal veri …