Jozef Hooman – författare

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

3 produkter

1. 

   Concurrency Verification

   Introduction to Compositional and Non-compositional Methods

   Av Willem-Paul de Roever, Frank de Boer m. fl.

   Häftad, 2012

   1341 kr

   Lägg i varukorg

   This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the …

2. 

   Concurrency Verification

   Introduction to Compositional and Non-compositional Methods

   Av Willem-Paul de Roever, Frank de Boer m. fl.

   Inbunden, 2001

   3709 kr

   Lägg i varukorg

   This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the …

3. 

   Specification and Compositional Verification of Real-Time Systems

   Av Jozef Hooman

   Häftad, 1991

   567 kr

   Lägg i varukorg

   The research described in this monograph concerns the formalspecification and compositional verification of real-timesystems. A real-time programminglanguage is considered inwhich concurrent processes communicate by synchronousmessage passing along unidirectional channels. To specifiyfunctional and …