Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
Editat de Yamine Ait-Ameur et al.
29 iul 2021
Paperback
Preț: 642.96 lei 803.69 lei
6-8 săpt.
-20%
Shin Nakajima
Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings
Editat de Shin Nakajima et al.
18 mai 2017
Hardback
Preț: 645.79 lei 807.24 lei
6-8 săpt.
-20%