Vaughan R. Pratt – författare

Visar alla böcker från författaren Vaughan R. Pratt. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   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, …