Image from Google Jackets

An Introduction to Formal Program Verification / Mili, Ali.

By: Material type: TextTextPublication details: New York : Van Nostrand Reinhold Company Inc, 1985.Description: 291 pagesISBN:
  • 442263228
Patent information: PILCSubject(s): DDC classification:
  • 005.3 M59i
Holdings
Item type Current library Collection Call number Copy number Status Date due Barcode
Books Books Basic Education Department Library Circulation - H.S. Section Non-fiction 005.3 M59i 1985 (Browse shelf(Opens below)) 1 Available BED21879

Index

There are no comments on this title.

to post a comment.
Santa Isabel College - Manila Library | 210 Taft Avenue, Ermita, Manila, Philippines 1000
Tel. (02) 525-9416 to 19 loc.149 / 127 | E-mail siclibrary@gmail.com