Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Name: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Price: 121.95 EUR
Availability: BackOrder
ISBN: 9789811550539

Springer Verlag, Singapore, 2020

121,95 €On orderDelivery: 2-3 weeks

Quantity

ISBN-13: 9789811550539
ISBN-10: 9811550530
Publisher: Springer Verlag, Singapore
Year: 2020
Publication date: 2020-07-28
Pages: 346
Dimensions: 235x155x