책 이미지
eBook 미리보기
책 정보
· 제목 : Formal Techniques for Distributed Objects, Components, and Systems: 43rd Ifip Wg 6.1 International Conference, Forte 2023, Held as Part of the 18th In (Paperback, 2023)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783031353543
· 쪽수 : 218쪽
· 출판일 : 2023-06-10
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783031353543
· 쪽수 : 218쪽
· 출판일 : 2023-06-10
목차
Concurrent programming.- Security.- Probabilities, time and other resources.- Model-based testing and petri nets.
