Keijiro Araki
Keijiro Araki
5 featured booksKeijiro Araki
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL7562848A
Overview
Catalog identity and bibliographic footprint for this author.
5 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryFM
Formal Methods and Software Engineering
cover - Image source: Open LibraryF2
Formal methods
cover - Image source: Open LibraryI
IFM'99
cover - Image source: Open LibraryRS
RIMS Symposium on Software Science and Engineering II
cover - TATheoretical Aspects of Computin...Keijiro Araki
Theoretical Aspects of Computing - ICTAC 2004
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.