logo
logo
x
바코드검색
BOOKPRICE.co.kr
책, 도서 가격비교 사이트
바코드검색

인기 검색어

실시간 검색어

검색가능 서점

알라딘
교보문고
yes24
영풍문고
쿠팡
G마켓
11번가

도서목록 제공

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems (Paperback)

(43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques)

Marieke Huisman (지은이)
Springer Nature B.V.
74,480원

일반도서

검색중
서점 할인가 할인률 배송비 혜택/추가 실질최저가 구매하기
알라딘 70,750원 -5% 0원
2,130원
 68,620원 >
yes24 로딩중
교보문고 로딩중
notice_icon 검색 결과 내에 다른 책이 포함되어 있을 수 있습니다.

중고도서

검색중
서점 유형 등록개수 최저가 구매하기
로딩중

eBook

검색중
서점 정가 할인가 마일리지 실질최저가 구매하기
로딩중
책 정보
책 소개
목차
저자소개
리뷰
책속에서
추천도서

책 이미지

Formal Techniques for Distributed Objects, Components, and Systems
eBook 미리보기

책 정보

· 제목 : Formal Techniques for Distributed Objects, Components, and Systems (Paperback) (43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783031353567
· 쪽수 : 240쪽
· 출판일 : 2023-06-10

저자소개

Marieke Huisman (지은이)    정보 더보기
펼치기
Marieke Huisman의 다른 책 >
Concise Guide to Software Verification (Paperback)
Concise Guide to Software Verification (Paperback)
Marieke Huisman
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)
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)
Marieke Huisman, Ant?io Ravara
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Paperback)
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Paperback)
Marieke Huisman, Jan Friso Groote
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Confe (Paperback)
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Confe (Paperback)
Marieke Huisman
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Confe (Hardcover)
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Confe (Hardcover)
Marieke Huisman

추천도서

분야의 베스트셀러 >
The Legend of Zelda: Breath of the Wild - Creating a Champion: 젤다의 전설 - 브레스 오브 와일드: 챔피언 만들기 (Hardcover) - 젤다의 전설 브레스 오브 와일드 챔피언 만들기
The Legend of Zelda: Breath of the Wild - Creating a Champion: 젤다의 전설 - 브레스 오브 와일드: 챔피언 만들기 (Hardcover) - 젤다의 전설 브레스 오브 와일드 챔피언 만들기
Nintendo
Ghost In The Wires (Paperback) - My Adventures as the Worlds Most Wanted Hacker
Ghost In The Wires (Paperback) - My Adventures as the Worlds Most Wanted Hacker
케빈 미트닉, 윌리엄 사이먼, Mitnick, Kevin D
Atlas of AI: Power, Politics, and the Planetary Costs of Artificial Intelligence (Paperback)
Atlas of AI: Power, Politics, and the Planetary Costs of Artificial Intelligence (Paperback)
케이트 크로퍼드
How We Learn : The New Science of Education and the Brain (Paperback) - 『우리의 뇌는 어떻게 배우는가』원서
How We Learn : The New Science of Education and the Brain (Paperback) - 『우리의 뇌는 어떻게 배우는가』원서
스타니슬라스 드앤
The Age of AI : And Our Human Future (Paperback) - 『AI 이후의 세계』원서
The Age of AI : And Our Human Future (Paperback) - 『AI 이후의 세계』원서
에릭 슈밋, Henry A Kissinger, 대니얼 허튼로커
이 포스팅은 쿠팡 파트너스 활동의 일환으로,
이에 따른 일정액의 수수료를 제공받습니다.
이 포스팅은 제휴마케팅이 포함된 광고로 커미션을 지급 받습니다.
도서 DB 제공 : 알라딘 서점(www.aladin.co.kr)
최근 본 책