Home > Authors > Yamine Ait-Ameur > Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Buy at: Bookshop.org Amazon

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Yamine Ait-Ameur, Shin Nakajima, Dominique Méry

Recent activity

Rate this book to see your activity here.

3 Books Similar to Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems by Yamine Ait-Ameur

Bookscovery readers who liked Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems also like Engineering of Complex Computer Systems, Cyber-Physical System Design from an Architecture Analysis Viewpoint and Cyber-Physical System Design from an Architecture Analysis Viewpoint. How many of these have you read?