BOOKPRICE.co.kr
책, 도서 가격비교 사이트

인기 검색어

일간

|

주간

|

월간

실시간 검색어

검색가능 서점

알라딘

교보문고

yes24

영풍문고

G마켓

11번가

도서목록 제공

알라딘, 영풍문고, 교보문고

app 다운로드

GooglePlay 다운로드

AppStore 다운로드

QR CODE

Structured Object-Oriented Formal Language and Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers (Paperback, 2021)

Jinyun Xue, Zhenhua Duan, Liu Shaoying, Fumiko Nagoya (엮은이)

Springer

98,730원

일반도서

검색중

서점	할인가	할인률	배송비	혜택/추가	실질최저가	구매하기
	80,950원	-18%	0원	4,050원	76,900원	>

notice_icon

검색 결과 내에 다른 책이 포함되어 있을 수 있습니다.

중고도서

검색중

서점	유형	등록개수	최저가	구매하기

eBook

검색중

서점	정가	할인가	마일리지	실질최저가	구매하기

책 이미지

Structured Object-Oriented Formal Language and Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

eBook 미리보기

책 정보

· 제목 : Structured Object-Oriented Formal Language and Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers (Paperback, 2021)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783030774738
· 쪽수 : 205쪽
· 출판일 : 2021-06-04

목차

Modeling and Specification.- Model Checking.- Specification and Verification.- Testing and Formal Verification.

저자소개

Jinyun Xue (엮은이) 정보 더보기

펼치기

Zhenhua Duan (엮은이) 정보 더보기

펼치기

Zhenhua Duan의 다른 책 >

Liu Shaoying (엮은이) 정보 더보기

펼치기

Fumiko Nagoya (엮은이) 정보 더보기

펼치기

Fumiko Nagoya의 다른 책 >

추천도서

분야의 베스트셀러 >

이 포스팅은 쿠팡 파트너스 활동의 일환으로,

이에 따른 일정액의 수수료를 제공받습니다.

이 포스팅은 제휴마케팅이 포함된 광고로 커미션을 지급 받습니다.

도서 DB 제공 : 알라딘 서점(www.aladin.co.kr)

최근 본 책