Telecharger Cours

Verification of Sequential and Concurrent Programs Third, Extended ...

This book is appropriate for either a one- or two-semester introductory course on program verification for upper division undergraduate studies or for grad-.



Download