yr 〜
yr

Search results 9

The SPIN model checker : primer and reference manual

The SPIN model checker : primer and reference manual
Paper図書
Gerard J. HolzmannAddison-Wesley2004
Other Libraries in Japan
  • Author HeadingHolzmann, Gerard J.

The SPIN model checker : primer and reference manual : pbk

The SPIN model checker : primer and reference manual : pbk
Paper図書
Gerard J. HolzmannAddison-Wesleyc2004
Other Libraries in Japan
  • Author HeadingHolzmann, Gerard J.

コンピュータプロトコルの設計法 : 正しいプロトコルの設計と検証へ導く総合解説書 (コンピュータ通信シリーズ ; 3)

コンピュータプロトコルの設計法 : 正しいプロトコルの設計と検証へ導く総合解説書 (コンピュータ通信シリーズ ; 3)
Paper図書
Gerard J.Holzmann 著, 水野忠則 [ほか]共訳カットシステム1994.11<ND633-G100>
National Diet Library

Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,

Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,
Paper図書
Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editorsAmerican Mathematical Societyc1997
Other Libraries in Japan
  • Author Heading...tt, Vaughan R. Holzmann, Gerard J.

The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996

The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996
Paper図書
Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editorsAmerican Mathematical Societyc1997
Other Libraries in Japan
  • Author HeadingWorkshop on the SPIN Verification System Grégoire, Jean-Charles Holzmann, Gerard J. Peled, Doron

The early history of data networks

The early history of data networks
Paper図書
Gerard J. Holzmann, Björn PehrsonIEEE Computer Society Pressc1995
Other Libraries in Japan
  • Author HeadingHolzmann, Gerard J. Pehrson, Björn

コンピュータプロトコルの設計法

コンピュータプロトコルの設計法
Paper図書
Gerard J.Holzmann著 ; 水野忠則[ほか]訳カットシステム1994.11
Other Libraries in Japan
  • Author HeadingHolzmann, Gerard J. 水野, 忠則

Design and validation of computer protocols : pbk

Design and validation of computer protocols : pbk
Paper図書
Gerard J. HolzmannPrentice Hallc1991
Other Libraries in Japan
  • Author HeadingHolzmann, Gerard J. American Telephone and Telegr...

Beyond photography : the digital darkroom pbk.

Beyond photography : the digital darkroom pbk.
Paper図書
Gerard J. HolzmannPrentice-Hallc1988
Other Libraries in Japan
  • Author HeadingHolzmann, Gerard J.

Reached to the end of result.