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

인기 검색어

실시간 검색어

검색가능 서점

도서목록 제공

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives (Paperback)

(History, Achievements, Perspectives)

Orna Grumberg, Helmut Veith (엮은이)
Springer-Verlag New York Inc
66,040원

일반도서

검색중
서점 할인가 할인률 배송비 혜택/추가 실질최저가 구매하기
54,150원 -18% 0원
2,710원
51,440원 >
yes24 로딩중
교보문고 로딩중
notice_icon 검색 결과 내에 다른 책이 포함되어 있을 수 있습니다.

중고도서

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

eBook

검색중
서점 정가 할인가 마일리지 실질최저가 구매하기
로딩중

책 이미지

25 Years of Model Checking: History, Achievements, Perspectives
eBook 미리보기

책 정보

· 제목 : 25 Years of Model Checking: History, Achievements, Perspectives (Paperback) (History, Achievements, Perspectives)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9783540698494
· 쪽수 : 234쪽
· 출판일 : 2008-06-17

목차

The Birth of Model Checking.- The Beginning of Model Checking: A Personal Perspective.- Verification Technology Transfer.- New Challenges in Model Checking.- A Retrospective on Mur?.- Model Checking: From Tools to Theory.- Value Iteration.- Fifteen Years of Formal Property Verification in Intel.- A View from the Engine Room: Computational Support for Symbolic Model Checking.- From Church and Prior to PSL.- On the Merits of Temporal Testers.- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC.- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR.

저자소개

Orna Grumberg (엮은이)    정보 더보기
펼치기
이 포스팅은 쿠팡 파트너스 활동의 일환으로,
이에 따른 일정액의 수수료를 제공받습니다.
이 포스팅은 제휴마케팅이 포함된 광고로 커미션을 지급 받습니다.
도서 DB 제공 : 알라딘 서점(www.aladin.co.kr)
최근 본 책