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

by Dominique Méry (Editor), Dominique Méry (Editor), Shin Nakajima (Editor), Yamine Ait-Ameur (Editor)

New
Paperback
2021
$147.18

$147.18

Quantity

10 in stock

More Information

Format: Paperback
Pages: 358
Edition: 1st ed. 2021
Publisher: Springer
Published: 29 Jul 2021
ISBN 10: 9811550565
ISBN 13: 9789811550560

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

New

$147.18

$147.18

More Information