Gerard J. Holzmann – författare

Visar alla böcker från författaren Gerard J. Holzmann. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Early History of Data Networks

   Av Gerard J. Holzmann, Björn Pehrson

   Häftad, 1994

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

   1188 kr

   Lägg i varukorg

2. 

   Partial Order Methods in Verification

   Av Doron Peled, Vaughan R. Pratt m. fl.

   Inbunden, 1997

   1596 kr

   Lägg i varukorg

   This book presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for automatic validation of systems. Other papers present recent developments in concurrency theory, logics of programs, …