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

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

106.99 EUR

Marke: Springer Nature Singapore