Implicit And Explicit Semantics Integration In Proof-Based Developments Of Discrete Systems: Communications Of Nii Shonan Meetings - Hardcover

Implicit And Explicit Semantics Integration In Proof-Based Developments Of Discrete Systems: Communications Of Nii Shonan Meetings - Hardcover

Springer
SKU:
9789811550539
|
ISBN13:
9789811550539
$180.44
(No reviews yet)
Condition:
New
Usually Ships in 24hrs
Current Stock:
Estimated Delivery by: | Fastest delivery by:
Adding to cart… The item has been added
Buy ebook
Description
  • | Author: Yamine Ait-Ameur, Shin Nakajima, Dominique Méry
  • | Publisher: Springer
  • | Publication Date: Jul 28, 2020
  • | Number of Pages: 358 pages
  • | Language: English
  • | Binding: Hardcover
  • | ISBN-10: 9811550530
  • | ISBN-13: 9789811550539
Additional Information
Author:
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry
Publisher:
Springer
Publication Date:
Jul 28, 2020
Number of pages:
358 pages
Language:
English
Binding:
Hardcover
ISBN-10:
9811550530
ISBN-13:
9789811550539
Related Products