FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS

保存先:

書誌詳細
第一著者:	MILNE GEORGE
フォーマット:	図書
出版事項:	NEW YORK MCGRAW HILL 1994
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

DESIGN VERIFICATION WITH E
著者:: PALNIKAR, S
出版事項: (2004)

DESIGN VERIFICATION WITH E
著者:: PALNIKAR, S
出版事項: (2004)

Logic Synthesis And Verification Algorithms
著者:: Hachtel, G.D
出版事項: (2003)

BIOMETRICS : IDENTIFICATION VERIFICATION IN A NETWORKED
著者:: NANAVATI, S
出版事項: (2005)

FORMAL LANGUAGES & AUTOMATA
著者:: LINZ PETER
出版事項: (2009)

Elements of Formal Logic
著者:: Hughes, G.E
出版事項: (2020)

Elements of formal logic
著者:: Hughes, G

Elements of formal logic
著者:: Hughes, G

Elements of formal logic
著者:: Basantani, K.

Elements of formal logic
著者:: Basantani, K.

Elements of formal logic
著者:: Hughes, G
出版事項: (1965)

Elementary formal logic
著者:: Hamblin, G
出版事項: (1966)

Elements of formal logic
著者:: Basantani, K.

Elements of formal logic
著者:: Basantani, K.

Elements of formal logic
著者:: Hughes, G

Elements of formal logic
著者:: Basantani, K.

Modern formal logic
著者:: Fisk, M
出版事項: (1964)

Elements of formal logic
著者:: Hughes, G

Elements of formal logic
著者:: Hughes, G

Elements of formal logic
著者:: Basantani, K.

Elements of formal logic
著者:: Basantani, K.

Elements of formal logic
著者:: Basantani, K.
出版事項: (1995)

Elements of formal logic
著者:: Basantani, K.
出版事項: (1995)

Elements of formal logic
著者:: Hughes, G

Elements of formal logic
著者:: Basantani, K.

Elements of formal logic
著者:: Basantani, K.

Elements of formal logic
著者:: Hughes, G

Elements of formal logic
著者:: Hughes, G.
出版事項: (1966)

Elements of formal logic
著者:: Basantani, K.

Elements of formal logic
著者:: Basantani, K.

Elements of formal logic
著者:: Basantani, K.

Sociology of Formal education
著者:: Raj, G. Ramchandra
出版事項: (1998)

FORMAL LANGUAGES AND COMPILATION
著者:: REGHIZZI STEFANO CRESPI
出版事項: (2012)

ANALYTICAL METHOD VALIDATION AND INSTRUMENT PERFORMANCE VERIFICATION
著者:: CHAN CHUNG CHOW,LEE Y C , LAM HERMAN
出版事項: (2004)

BIOMETRICS : IDENTITY VERIFICATION IN A NETWORKED WORLD
著者:: NANAVATI S
出版事項: (2002)

ANALYTICAL METHOD VALIDATION & INSTRUMENT PERFORMANCE VERIFICATION
著者:: CHAN CHUNG CHOW (ED.)

Analytical method validation and instrument performance verification
著者:: Chan, Chung Chow
出版事項: (2011)

BIOMETRICS:IDENTITY VERIFICATION IN A NETWORK WORLD
著者:: NANAVATI, S
出版事項: (2003)

Analytical method validation & instrument performance verification
著者:: Chan,Chung
出版事項: (2004)

ANALYTICAL METHOD VALIDATION & INSTRUMENT PERFORMANCE VERIFICATION
著者:: CHAN CHUNG CHOW [A]
出版事項: (2004)