shin nakajima

Grid   List

  1. Cyber-Physical System Design from an Architecture Analysis Viewpoint
    Cyber-Physical System Design from an Architecture Analysis Viewpoint
    Shin Nakajima
    Springer Nature Singapore
    Ebook
    Sofort lieferbar
    Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modelin...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
    Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
    Yamine Ait-Ameur
    Springer Nature Singapore
    Ebook
    Sofort lieferbar
    This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it hi...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Cyber-Physical System Design from an Architecture Analysis Viewpoint
    Cyber-Physical System Design from an Architecture Analysis Viewpoint
    Shin Nakajima
    Springer Nature Singapore, Springer Nature Singapore
    Buch
    Bezug 11-15
    Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modelin...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. Cyber-Physical System Design from an Architecture Analysis Viewpoint
    Cyber-Physical System Design from an Architecture Analysis Viewpoint
    Shin Nakajima
    Springer Nature Singapore
    Taschenbuch
    Bezug 11-15
    Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modelin...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
    Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
    Yamine Ait-Ameur
    Springer Nature Singapore, Springer Nature Singapore
    Buch
    Bezug 11-15
    This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
    Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
    Yamine Ait-Ameur
    Springer Nature Singapore, Springer Nature Singapore
    Taschenbuch
    Bezug 11-15
    This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>