책 이미지
책 정보
· 제목 : Java Software Development with Event B: A Practical Guide (Hardcover) 
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9781681736891
· 쪽수 : 99쪽
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9781681736891
· 쪽수 : 99쪽
목차
- Introduction
- An Overview of Event B
- Software Development of a Chat System with Event B
- The Poporo Social Network
- Conclusion
- Bibliography
- Author's Biography
추천도서
분야의 베스트셀러 >