9787121467653 (1 risultati)
Rigorous system designmethods. trends and challenges(Chinese Edition)
[ FA ] YUE SE FU· XI FA JI SI ( Joseph Sifakis ) . WANG QIANG . ZHANG JI YONG YI
- Rilegato
Da: liu xing, Nanjing, JS, Cinaliu xing
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 101,75
EUR 15,54 spedizioneSpedito da Cina a U.S.A.Quantità: 3 disponibili
Hardcover. Condizione: 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. Priorit…y) 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.
