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
Hardcover
2020
$175.83

$175.83

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 358
Edition: 1st ed. 2021
Publisher: Springer
Published: 28 Jul 2020
ISBN 10: 9811550530
ISBN 13: 9789811550539

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

New

$175.83

$175.83

More Information