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 9789811550539
General

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

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

Hardback · ISBN 9789811550539

₹11,351 2%
₹11,609

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 9789811550539
Publisher Springer
Publication date July 2020
Language English
MRP £89.99 GBP
Page count 360
Item weight 150 g

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