VIAF

Virtual International Authority File

Search

Back, Ralph-Johan National Library of the Netherlands Sudoc [ABES], France BIBSYS National Library of Israel National Library of France Library of Congress/NACO

Back, Ralph J. ISNI

Back, Ralph-Johan, 1949- National Library of the Czech Republic

Ralph-Johan Back Wikidata

VIAF ID: 10022711 (Personal)

Permalink: //viaf.org/viaf/10022711

ISNI: 0000  0000  3251  4293 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (3)

Open Section Close SectionWorks

Title Sources
Correctness preserving program refinements proof theory and applications Sudoc [ABES], France BIBSYS
On the correctness of refinement steps in program development BIBSYS
Refinement calculus a systematic introduction Sudoc [ABES], France BIBSYS National Library of France Library of Congress/NACO
Refinement calculus / Ralph-Johan Back, Joakim von Wright, cop. 1998 Sudoc [ABES], France National Library of Israel National Library of France Library of Congress/NACO
Transactions on computational systems biology XI National Library of the Netherlands Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (3)

Open Section Close Section About

Open Section Close Section History of VIAF ID:10022711 (14)