카트
이미지 검색을 사용해 보세요
검색창 이전화면 이전화면
최근 검색어
인기 검색어
닫기
이전

작가파일

작가 검색
구루마 히로노부
來間 啓伸
해외작가 자연과학/공학 저자
작가이미지
구루마 히로노부
해외작가 자연과학/공학 저자
공유하기
특임교수를 지냈다. 전문 분야는 소프트웨어 공학과 정형 기법이다. 저서로는 《Bメソッドによる形式仕?記述(B 메서드에 의한 정형 기법)》(2007), 《Event-B Refinement》(이상 近代科?社, 2015) 등이 있다. 취미는 추리소설 읽기와 산속 온천 탐방이며, 최근에는 플라이 낚시를 익히고 있다.
작가 소개 더보기펼치기

작가의 전체작품

작가에게 한마디

클린봇이 부적절한 글을 감지 중입니다.

설정

  • 등록된 댓글이 없습니다.