본문

서브메뉴

검색

  1. Home
An Introduction to Formal Program Verification
An Introduction to Formal Program Verification / Ali Mili.
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


    New Books MORE
    Related books MORE
    Statistics for the past 3 years. Go to brief
    Recommend

    Info Détail de la recherche.

    • Réservation
    • n'existe pas
    • My Folder
    • Reference Materials for Thesis Writing
    • Reference Materials for Research Ethics
    • Job-Related Books
    Matériel
    Reg No. Call No. emplacement Status Lend Info
    W002870 005.11 M644i 서양서제1서고 대출가능 대출가능
    My Folder 부재도서신고

    * Les réservations sont disponibles dans le livre d'emprunt. Pour faire des réservations, S'il vous plaît cliquer sur le bouton de réservation

    Books borrowed together with this book

    Related books

    Related Popular Books

    도서위치