Author books / Книги автора Yamine Ait-Ameur Shin Nakajima Dominique Méry » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Yamine Ait-Ameur Shin Nakajima Dominique Méry

book Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

pdf

Author: Yamine Ait-Ameur Shin Nakajima Dominique Méry
Language: English
Year: 2021

00

07.02.2024

0

0