Automatic program verification

von Suzuki, Norihisa
Veröffentlicht 1974

A history of japanese finance

von Suzuki, Norihisa
Veröffentlicht 1938

Automatic verification of programs with complex data structures

von Suzuki, Norihisa
Veröffentlicht 1980

Consistent and complete proof rules for the total correctness of parallel programs

von Flon, Lawrence
Veröffentlicht 1978

Uchimura Kanzō wo meguru sakkatachi

von Suzuki, Norihisa
Veröffentlicht 1980

Meiji shūkyō shichō no kenkyū : shūkyōgaku kotohajime

von Suzuki, Norihisa
Veröffentlicht 1979

Shared memory multiprocessing

Veröffentlicht 1992

Automatic program verification

von Luckham, David C.
Veröffentlicht 1976

Uchimura Kanzō to sono jidai : Shiga Shigetaka to no hikaku

von Suzuki, Norihisa
Veröffentlicht 1975

Automatic program verification

von Luckham, David C.
Veröffentlicht 1975

Daihyôteki nihonjin

von Uchimura, Kanzō
Veröffentlicht 1996-7-5-

A FUNDAMENTAL STUDY ON DISTRIBUTION PATTERN OF VEGETATIONS ON SANDBARS

von IKEDA, Hirokazu
Veröffentlicht in Kankyō-Shisutemu-Happyōkai (1994 : Tokio) 1994 Kankyō Shisutemu kenkyu ronbun Happyokai (1994)

Automatic program verification

Seisho to Nihonjin

von Suzuki, Norihisa
Veröffentlicht 2000