Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings - - Books - Springer Verlag, Singapore - 9789811550539 - July 28, 2020
In case cover and title do not match, the title is correct

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

Price
Íkr 13,249
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 24 - Jul 2

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

346 pages, 29 Illustrations, color; 109 Illustrations, black and white; XII, 346 p. 138 illus., 29 i

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 28, 2020
ISBN13 9789811550539
Publishers Springer Verlag, Singapore
Pages 346
Dimensions 150 × 220 × 20 mm   ·   680 g
Editor Ait-Ameur, Yamine
Editor Mery, Dominique
Editor Nakajima, Shin

Mere med samme udgiver