An edition of Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
(2020)
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings
by Yamine Ait-Ameur, Shin Nakajima, and Dominique Méry
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
2021, Springer Singapore Pte. Limited
in English
9811550565 9789811550560
|
aaaa
|
2
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
Jul 28, 2020, Springer
hardcover
9811550530 9789811550539
|
zzzz
|
3
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
Aug 01, 2020, Springer
paperback
9811550557 9789811550553
|
zzzz
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| September 4, 2020 | Created by ImportBot | import new book |