Catalog
| LDR | 00761cam a2200241 c 4500 | ||
| 001 | 0093787910▲ | ||
| 005 | 20180519190221▲ | ||
| 007 | ta▲ | ||
| 008 | 170920s2017 jbka b OC 000c kor▲ | ||
| 020 | ▼a9791187892502▼g93000 :▼c₩25000▲ | ||
| 035 | ▼a(KERIS)BIB000014612372▲ | ||
| 040 | ▼a211043▼c211043▼d221016▲ | ||
| 041 | 1 | ▼akor▼aeng▲ | |
| 082 | 0 | 1 | ▼a003.3▼223▲ |
| 090 | ▼a003.3▼b이37ㅈ▲ | ||
| 100 | 1 | ▼a이문근,▼d1961-▼0170589▲ | |
| 245 | 1 | 0 | ▼a정형기법 =▼xFormal methods /▼d이문근 저▲ |
| 260 | ▼a전주 :▼b전북대학교출판문화원,▼c2017▲ | ||
| 300 | ▼a571 p. :▼b삽화 ;▼c24 cm▲ | ||
| 500 | ▼a부록: A. ADOxx Meta-Modeling Platform 외▲ | ||
| 504 | ▼a각 장마다 참고문헌 수록▲ | ||
| 653 | ▼a컴퓨터모델링▼a소프트웨어개발▲ | ||
| 999 | ▼a경동욱▼c안정화▲ |
정형기법 =Formal methods
Document Type
Domestic Book
Title
정형기법 = Formal methods / 이문근 저
개인저자
이문근 , 1961-
Publication
전주 : 전북대학교출판문화원 , 2017
Physical Description
571 p. : 삽화 ; 24 cm
General Note
부록: A. ADOxx Meta-Modeling Platform 외
Bibliography Note
각 장마다 참고문헌 수록
ISBN
9791187892502
Call Number
003.3 이37ㅈ
저자의 다른
저작물보기
저작물보기
Items
RReservation
AAbsent
VVisit Loan
VPreservation
CLoan Campus
QQuick Cataloging
DDelivery Service
SSMS
PPrint
HHolding Journal DDS
| Regist Num | Call number | Item location | Status | Expected return date | Service |
|---|
Booktalk
Please feel free to read the book
and write your impressions.
글쓰기
and write your impressions.
Call Sign Browsing
Related Popular Books