CiNii

Articles, Data
Books

Login
Japanese

Book & Journal
Author
Content

Books and Journals

Books

Journals

Advanced Search

Title

Exact Title Match Include Uniform Titles

Author

Include Alias Names

Author ID

Uniform Title ID

Publisher

ISBN

ISSN

NCID

Subject

Classification

Note

Format

Language

Year

from to

Library ID

Organization ID

Area

Remember Lib. ID / Org. ID / Area

Close

【Created on October 31, 2023】Integration of CiNii Books into CiNii Research
【Updated on April 2, 2025】Deletion of data provided by Nielsen Book Services UK

Back, Ralph-Johan

ID:DA11760505

Search authors sharing the same name

Search Results1-1 of 1

Select all：

1

Refinement calculus : a systematic introduction

Ralph-Johan Back, Joakim von Wright

Springer c1998 Graduate texts in computer science

Available at 14 libraries

Search this author

VIAF
KAKEN — Researchers
J-GLOBAL
researchmap
Google Scholar
Google
Yahoo! JAPAN

Related Authors

Wright, J. (Joakim) von

Smart Phone

|

PC

About CiNii

Help

News
- Updates
- RSS
- Twitter

NII Scholarly Services
- KAKEN
- IRDB
- NII-REO