Skip to main content alibris logo

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

by , ,

Write The First Customer Review
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of Nii Shonan Meetings - Ait-Ameur, Yamine (Editor), and Nakajima, Shin (Editor), and Méry, Dominique (Editor)
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency
loading
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of Nii Shonan Meetings 2021, Springer, Singapore

ISBN-13: 9789811550560

2021 edition

Trade paperback

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of Nii Shonan Meetings 2020, Springer, Singapore

ISBN-13: 9789811550539

2021 edition

Hardcover