sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000032514293 | 1 hits
Person
ISNI: 
0000 0000 3251 4293
Name: 
Back, Ralph J.
Back, Ralph-Johan
Ralph-Johan Back
Ralph-Johan Back (Computer scientist)
Ralph-Johan Back (Fins informaticus)
Dates: 
born 1949-02-26
Creation class: 
Computer file
Language material
Text
Creation role: 
author
Related names: 
Helsinki
Petre, Ion
Priami, Corrado
Vink, Erik
Wright, J. von (1955-)
Wright, Joakim (1955-)
Wright, Joakim von
Titles: 
Correctness preserving program refinements proof theory and applications
On the correctness of refinement steps in program development
Refinement calculus, 1998:
Refinement calculus a systematic introduction
Transactions on computational systems biology XI
Notes: 
Diss., Helsinki, 1978
Sources: 
BOWKER
NTA