Communicating Embedded Systems : Software and Design: Formal Methods
  • 洋書
  • 電子版あり

Communicating Embedded Systems : Software and Design: Formal Methods  Hardcover,  言語:ENG

Jard, Claude (EDT)/ Roux, Olivier H. (EDT)

  • ウェブストア価格 ¥37,081(本体¥33,710)
  • Wiley-ISTE(2009/12発売)
  • ポイント 337pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008,France, Proceedings  (Lecture Notes in Computer Science) 〈Vol.5215〉
  • 洋書

Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008,France, Proceedings (Lecture Notes in Computer Science) 〈Vol.5215〉  Paperback,  言語:ENG

Cassez, Franck (EDT)/ Jard, Claude (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer(2008/10発売)
  • ポイント 104pt
  • 海外取次在庫
Claude Sautet - Regisseur der Zwischentöne : Gespräche mit Michel Boujut (2022. 328 S. sw. 24 cm)
  • 洋書

Claude Sautet - Regisseur der Zwischentöne : Gespräche mit Michel Boujut (2022. 328 S. sw. 24 cm)  Hardcover

Sautet, Claude/ Herausgegeben:Boujut, Michel/Mitarbeit:Fremaux, Thierry/ Dabadie, Jean-Loup/ Jardin, Pascal/ Tavernier, Bertrand/ Melville, Jean-Pierre/ Né/ron, Claude/ Truffaut, Franç/ois/ Auteuil,

  • ウェブストア価格 ¥7,378(本体¥6,708)
  • ALEXANDER VERLAG(2022発売)
  • ポイント 67pt
  • 海外取次在庫