The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

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

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

$183.49

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