Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsYamine Ait-Ameur
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry · 2021
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2021
- Language
- English
- Publisher
- Springer Singapore Pte. Limited
- Editions
- 3
- Pages
- 346
- ISBN
- 9789811550560
Data source: Wikidata