1～3件／全3件 セーフサーチON
  •  
VLISP a Verified Implementation of Scheme : A Special Issue of Lisp and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995
  • 洋書

VLISP a Verified Implementation of Scheme : A Special Issue of Lisp and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995  Paperback,  言語：ENG

Guttman, Joshua D. (EDT)/ Wand, Mitchell (EDT)

  • ウェブストア価格 ¥35,662（本体¥32,420）
  • Springer-Verlag New York Inc.（2012/11発売）
  • ポイント 324pt
  • 海外取次在庫
Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Guttman, Joshua D. (EDT)/ Landwehr, Carl E. (EDT)/ Meseguer, José (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer Nature Switzerland AG（2019/04発売）
  • ポイント 104pt
  • 海外取次在庫
Principles of Security and Trust (Lecture Notes in Computer Science / Security and Cryptology Vol.7215) （2012. 2012. 445 p. 23,5 cm）
  • 洋書

Principles of Security and Trust (Lecture Notes in Computer Science / Security and Cryptology Vol.7215) （2012. 2012. 445 p. 23,5 cm）  Paperback

Ed. by Degano, Pierpaolo/ Guttman, Joshua D.

  • ウェブストア価格 ¥13,384（本体¥12,168）
  • SPRINGER, BERLIN（2012発売）
  • ポイント 121pt
  • 海外取次在庫
1～3件／全3件
  •