Foundations and Practice of Security : 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Foundations and Practice of Security : 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Jourdan, Guy-Vincent (EDT)/ Mounier, Laurent (EDT)/ Adams, Carlisle (EDT)

  • ウェブストア価格 ¥18,244(本体¥16,586)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 165pt
  • 海外取次在庫
Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings (Lecture Notes in Computer Science Vol.2989) (2004. X, 309 p. 23,5 cm)
  • 洋書

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings (Lecture Notes in Computer Science Vol.2989) (2004. X, 309 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Susanne a. Laurent Mounier

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 114pt
  • 海外取次在庫