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
Aug 01, 2020, Springer
paperback
9811550557 9789811550553
|
zzzz
|
3
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
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created September 28, 2021
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| September 28, 2021 | Created by ImportBot | Imported from Better World Books record |