FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	MILNE GEORGE
Aineistotyyppi:	Kirja
Julkaistu:	NEW YORK MCGRAW HILL 1994
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

DESIGN VERIFICATION WITH E
Tekijä: PALNIKAR, S
Julkaistu: (2004)

DESIGN VERIFICATION WITH E
Tekijä: PALNIKAR, S
Julkaistu: (2004)

Logic Synthesis And Verification Algorithms
Tekijä: Hachtel, G.D
Julkaistu: (2003)

BIOMETRICS : IDENTIFICATION VERIFICATION IN A NETWORKED
Tekijä: NANAVATI, S
Julkaistu: (2005)

FORMAL LANGUAGES & AUTOMATA
Tekijä: LINZ PETER
Julkaistu: (2009)

Elements of Formal Logic
Tekijä: Hughes, G.E
Julkaistu: (2020)

Elements of formal logic
Tekijä: Hughes, G

Elements of formal logic
Tekijä: Hughes, G

Elements of formal logic
Tekijä: Basantani, K.

Elements of formal logic
Tekijä: Basantani, K.

Elements of formal logic
Tekijä: Hughes, G
Julkaistu: (1965)

Elementary formal logic
Tekijä: Hamblin, G
Julkaistu: (1966)

Elements of formal logic
Tekijä: Basantani, K.

Elements of formal logic
Tekijä: Basantani, K.

Elements of formal logic
Tekijä: Hughes, G

Elements of formal logic
Tekijä: Basantani, K.

Modern formal logic
Tekijä: Fisk, M
Julkaistu: (1964)

Elements of formal logic
Tekijä: Hughes, G

Elements of formal logic
Tekijä: Hughes, G

Elements of formal logic
Tekijä: Basantani, K.

Elements of formal logic
Tekijä: Basantani, K.

Elements of formal logic
Tekijä: Basantani, K.
Julkaistu: (1995)

Elements of formal logic
Tekijä: Basantani, K.
Julkaistu: (1995)

Elements of formal logic
Tekijä: Hughes, G

Elements of formal logic
Tekijä: Basantani, K.

Elements of formal logic
Tekijä: Basantani, K.

Elements of formal logic
Tekijä: Hughes, G

Elements of formal logic
Tekijä: Hughes, G.
Julkaistu: (1966)

Elements of formal logic
Tekijä: Basantani, K.

Elements of formal logic
Tekijä: Basantani, K.

Elements of formal logic
Tekijä: Basantani, K.

Sociology of Formal education
Tekijä: Raj, G. Ramchandra
Julkaistu: (1998)

FORMAL LANGUAGES AND COMPILATION
Tekijä: REGHIZZI STEFANO CRESPI
Julkaistu: (2012)

ANALYTICAL METHOD VALIDATION AND INSTRUMENT PERFORMANCE VERIFICATION
Tekijä: CHAN CHUNG CHOW,LEE Y C , LAM HERMAN
Julkaistu: (2004)

BIOMETRICS : IDENTITY VERIFICATION IN A NETWORKED WORLD
Tekijä: NANAVATI S
Julkaistu: (2002)

ANALYTICAL METHOD VALIDATION & INSTRUMENT PERFORMANCE VERIFICATION
Tekijä: CHAN CHUNG CHOW (ED.)

Analytical method validation and instrument performance verification
Tekijä: Chan, Chung Chow
Julkaistu: (2011)

BIOMETRICS:IDENTITY VERIFICATION IN A NETWORK WORLD
Tekijä: NANAVATI, S
Julkaistu: (2003)

Analytical method validation & instrument performance verification
Tekijä: Chan,Chung
Julkaistu: (2004)

ANALYTICAL METHOD VALIDATION & INSTRUMENT PERFORMANCE VERIFICATION
Tekijä: CHAN CHUNG CHOW [A]
Julkaistu: (2004)