Placeholder text
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
0 - Default Title
Product details
Binding:
Paperback
Publication Date:
2020-08-01
Publisher:
Springer
Languages:
Published:
English
ISBN10:
9811550557
Weight:
506 g
Currently sold out