Mannes Poel – författare

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

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