보안문제해결
현재 사용자 께서는 로봇에 의한 과도한 접속으로 판단되어 제한된 정보만 보여지고 있습니다.

모든 정보를 이용하시려면 아래 보안문자를 입력해 주세요.
captcha-img
문제해결에 어려움이 있다면? badatime2@gmail.com
logo
logo
x
바코드검색
바코드검색

인기 검색어

실시간 검색어

검색가능 서점

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

도서목록 제공

Agile-Sofl: Agile Formal Engineering Method

Agile-Sofl: Agile Formal Engineering Method (Hardcover, 2024)

Shaoying Liu (지은이)
Springer
337,480원

일반도서

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

중고도서

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

eBook

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

책 이미지

Agile-Sofl: Agile Formal Engineering Method
eBook 미리보기

책 정보

· 제목 : Agile-Sofl: Agile Formal Engineering Method (Hardcover, 2024) 
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9789819722846
· 쪽수 : 143쪽
· 출판일 : 2024-06-06

목차

Introduction.- SOFL.- Three-step hybrid specification.- Specification-based implementation.- Specification based Inspection.- Testing Based Formal Verification.- Case Study 1 ATM system.- Case Study 2 SUIC card system.

저자소개

Shaoying Liu (지은이)    정보 더보기
펼치기
Shaoying Liu의 다른 책 >
Software Fault Prevention, Verification, and Validation: First International Symposium, Sfpvv 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings (Paperback)
Software Fault Prevention, Verification, and Validation: First International Symposium, Sfpvv 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings (Paperback)
Shaoying Liu
Structured Object-Oriented Formal Language and Method: 6th International Workshop, Sofl+msvl 2016, Tokyo, Japan, November 15, 2016, Revised Selected P (Paperback, 2017)
Structured Object-Oriented Formal Language and Method: 6th International Workshop, Sofl+msvl 2016, Tokyo, Japan, November 15, 2016, Revised Selected P (Paperback, 2017)
Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, (Paperback, 2016)
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, (Paperback, 2016)
Shaoying Liu, Kazuhiro Ogata, Mark Lawford
Structured Object-Oriented Formal Language and Method: 4th International Workshop, Sofl+msvl 2014, Luxembourg, Luxembourg, November 6, 2014, Revised S (Paperback, 2015)
Structured Object-Oriented Formal Language and Method: 4th International Workshop, Sofl+msvl 2014, Luxembourg, Luxembourg, November 6, 2014, Revised S (Paperback, 2015)
Shaoying Liu, Zhenhua Duan
Structured Object-Oriented Formal Language and Method: Third International Workshop, Sofl+msvl 2013, Queenstown, New Zealand, October 29, 2013, Revise (Paperback, 2014)
Structured Object-Oriented Formal Language and Method: Third International Workshop, Sofl+msvl 2013, Queenstown, New Zealand, October 29, 2013, Revise (Paperback, 2014)
Shaoying Liu, Zhenhua Duan

추천도서

분야의 베스트셀러 >
Animal Crossing 2027 Day-To-Day Calendar (Daily)
Animal Crossing 2027 Day-To-Day Calendar (Daily)
Nintendo
Life 3.0 : Being Human in the Age of Artificial Intelligence (Paperback)
Life 3.0 : Being Human in the Age of Artificial Intelligence (Paperback)
맥스 테그마크
Nexus: A Brief History of Information Networks from the Stone Age to AI (Paperback)
Nexus: A Brief History of Information Networks from the Stone Age to AI (Paperback)
Yuval Noah Harari
The Art of Statistics : Learning from Data (Paperback) - 숫자에 약한 사람들을 위한 통계학 수업 원서
The Art of Statistics : Learning from Data (Paperback) - 숫자에 약한 사람들을 위한 통계학 수업 원서
데이비드 스피겔할터
Pattern Recognition and Machine Learning (Hardcover, 2006. Corr. 2nd)
Pattern Recognition and Machine Learning (Hardcover, 2006. Corr. 2nd)
크리스토퍼 비숍
도서 정보 제공 : Yes24(www.yes24.com), 알라딘(www.aladin.co.kr)

이 포스팅은 쿠팡파트너스 및 제휴마케팅이 포함된 광고로 이에 따른 일정액의 수수료를 제공받습니다.
최근 본 책