Cover of Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings by Ait-Ameur, Yamine, Nakajima, Shin, Méry, Dominique, ISBN 9789811550560
General

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

Contributor(s): Editor , Editor , Editor Format: Paperback

Paperback · ISBN 9789811550560

₹11,100 2%
₹11,352

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9789811550560
Publisher Springer
Publication date July 2021
Language English
MRP £88.00 GBP
Page count 360
Item weight 112 g

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