Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings - - Books - Springer Verlag, Singapore - 9789811550560 - July 29, 2021
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,229
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 22 - 30

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     Paperback Book   (Book with soft cover and glued back)
Released July 29, 2021
ISBN13 9789811550560
Publishers Springer Verlag, Singapore
Pages 346
Dimensions 150 × 220 × 10 mm   ·   503 g
Editor Ait-Ameur, Yamine
Editor Mery, Dominique
Editor Nakajima, Shin

Mere med samme udgiver