Job Zwiers – författare

Visar alla böcker från författaren Job Zwiers. 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. 

   Compositionality, Concurrency, and Partial Correctness

   Proof Theories for Networks of Processes, and Their Relationship

   Av Job Zwiers

   Häftad, 1989

   567 kr

   Lägg i varukorg

   The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this principle of program decomposition on the specification and verification of parallel executed programs is the subject of this monograph. Two …