책 이미지
eBook 미리보기
책 정보
· 제목 : Java Software Development with Event B: A Practical Guide (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783031014222
· 쪽수 : 89쪽
· 출판일 : 2020-01-27
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783031014222
· 쪽수 : 89쪽
· 출판일 : 2020-01-27
목차
Introduction.- An Overview of Event B.- Software Development of a Chat System with Event B.- The Poporo Social Network.- Conclusion.- Bibliography.- Author's Biography.
