Buy Used and New Shin Nakajima Books

Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings

by Shin Nakajima,Jean-Pierre Talpin,Masumi Toyoshima

ISBN 13: 9789811044359

Format: Hardcover (176 pages)
Publisher: Springer
Published: 16 Jun 2017

Save for later

Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings

by Shin Nakajima,Jean-Pierre Talpin,Masumi Toyoshima,Huafeng Yu

ISBN 13: 9789811351365

Format: Paperback (176 pages)
Publisher: Springer
Published: 09 Dec 2018

Save for later

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

by Yamine Ait-Ameur,Shin Nakajima,Dominique Méry

ISBN 13: 9789811550560

Format: Paperback (358 pages)
Publisher: Springer
Published: 29 Jul 2021

Save for later

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

by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry

ISBN 13: 9789811550539

Format: Hardcover (358 pages)
Publisher: Springer
Published: 28 Jul 2020

Save for later