9787121467653 (1 resultados)
Rigorous system designmethods. trends and challenges(Chinese Edition)
[ FA ] YUE SE FU· XI FA JI SI ( Joseph Sifakis ) . WANG QIANG . ZHANG JI YONG YI
- Tapa dura
Librería: liu xing, Nanjing, JS, Chinaliu xing
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 101,75
Envío por EUR 15,54Se envía de China a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Hardcover. Condición: New. HardCover. Pub Date: 2024-01 Publisher: Electronic Industry Press This book proposes a rigorous system design method based on formal models. elaborates on the basic principles of the rigorous system design method. and introduces the rigorous system design framework BIP ( Behavior. Interaction. Priority…) modeling language. formal semantics and its tool chain. Autonomous systems are an important form of artificial intelligence technology application. This book discusses the trends and challenge.
