Normal view MARC view ISBD view

An Introduction to Formal Program Verification /

1985.

Mili, Ali
An Introduction to Formal Program Verification / Mili, Ali. - New York : Van Nostrand Reinhold Company Inc, 1985. - 291 pages

ISBN: 442263228
Index

Subjects--Topical Terms:
Computer programs--Verification

Accession no/s.: = BED21879 c. 1
Circulation - H.S. Section

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

An Introduction to Formal Program Verification /

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

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