Sifakis j (5 risultati)
Embedded Software : Second International Conference, Emsoft 2002, Grenoble, France, October 2002 : Proceedings
Emsoft 200 (2002 Grenoble, France); Sifakis, J.; EMSOFT (CONFERENCE); Sangiovanni-Vincentelli, Alberto
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,14
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Embedded Software : Second International Conference, Emsoft 2002, Grenoble, France, October 2002 : Proceedings
Emsoft 200 (2002 Grenoble, France); Sifakis, J.; EMSOFT (CONFERENCE); Sangiovanni-Vincentelli, Alberto
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,58
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Embedded Software : Second International Conference, Emsoft 2002, Grenoble, France, October 2002 : Proceedings
Emsoft 200 (2002 Grenoble, France); Sifakis, J.; EMSOFT (CONFERENCE); Sangiovanni-Vincentelli, Alberto
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,81
EUR 17,55 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Embedded Software : Second International Conference, Emsoft 2002, Grenoble, France, October 2002 : Proceedings
Emsoft 200 (2002 Grenoble, France); Sifakis, J.; EMSOFT (CONFERENCE); Sangiovanni-Vincentelli, Alberto
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 67,40
EUR 17,55 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
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 102,09
EUR 15,59 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.
