서브메뉴
검색
An Introduction to Formal Program Verification
An Introduction to Formal Program Verification
Detailed Information
- 자료유형
- 단행본
- KDC
- 005.11-3
- 청구기호
- 005.11 M644i
- 저자명
- Mili, Ali
- 서명/저자
- An Introduction to Formal Program Verification / Ali Mili.
- 발행사항
- New York : Van Nostrand Reinhold, 1984.
- 형태사항
- 291 p. ; 24 cm.
- 가격
- 7500
- Control Number
- kjul:50002870
MARC
008941114s1984 us 000a eng■056 ▼a005.11▼23
■090 ▼a005.11▼bM644i
■1001 ▼aMili, Ali
■24510▼aAn Introduction to Formal Program Verification▼dAli Mili.
■260 ▼aNew York▼bVan Nostrand Reinhold▼c1984.
■300 ▼a291 p.▼c24 cm.
■9500 ▼b7500
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
detalle info
- Reserva
- No existe
- Mi carpeta
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
