形式的モデル化: 離散事象/実時間/ハイブリッドシステムのモデル化と解析 - Tapa dura

Formal Modeling: Modeling & Analysis of Discrete Event, Real-Time & Hybrid Systems (Japanese Language Book)

This academic text, published by the respected Morikita Shuppan, presents an in-depth exploration of formal modeling methodologies. It provides a comprehensive analysis of techniques specifically tailored for discrete event, real-time, and hybrid systems. The book is an invaluable resource for researchers, engineers, and students seeking to understand and apply advanced modeling and analysis principles in complex system design. Note: The text is entirely in Japanese. Brand New Japanese Edition. Ships worldwide from Japan via Japan Post. Expedited shipping via FedEx available. Nº de ref. del artículo: AB-9784627854215

Contactar al vendedor