Sifakis j (5 resultados)
Embedded Software : Second International Conference, Emsoft 2002, Grenoble, France, October 2002 : Proceedings
Emsoft 200 (2002 Grenoble, France); Sifakis, J.; EMSOFT (CONFERENCE); Sangiovanni-Vincentelli, Alberto
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 60,70
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 71,80
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,53
Envío por EUR 17,48Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 67,08
Envío por EUR 17,48Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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
- Tapa dura
Librería: liu xing, Nanjing, JS, Chinaliu xing
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 101,35
Envío por EUR 15,48Se 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. …
