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

Type:: e-book
Titel:: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Auteur:: Ait-Ameur; Méry, Dominique; Nakajima, Shin
Taal:: Engels
Uitgever:: Springer Singapore 2021
ISBN:: 981-15-5053-0
981-15-5054-9
Permalink:: http://bibtest.howest.be/catalog/ebk03:4100000011363729