Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems 1st Edition Communications of NII Shonan Meetings Ebook (miebook.shop)

$25.00

Yamine AitAmeur; ‘Shin Nakajima; ‘Dominique M’ry

Category: Tag: