ISBN 10: 7121467658 ISBN 13: 9787121467653
Librería: liu xing, Nanjing, JS, China
EUR 101,14
Cantidad disponible: 3 disponibles
Añadir al carritoHardcover. 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.