An introduction to formal program verification /
Ali Mili.

Description

Tools

Cite this Export citation file

Main Author: Mili, Ali.
Language(s): English
Published: New York : Van Nostrand Reinhold Co., c1985.
Subjects: Computer programs > Computer programs / Verification.
Physical Description: xii, 291 p. ; 24 cm.
ISBN: 0442263228
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of California

View HathiTrust MARC record

Similar Items

An introduction to program fault tolerance : a structured programming approach

Author: Mili, Ali.
Published: 1989

Towards structured specifying : theory, practice, applications

Author: Mili, Ali.
Published: 1989

The Journal of fluid control

Published: 1980

Business journal

Author: American Chamber of Commerce of the Philippines.
Published: 1980

BioCycle

Published: 1981

Performance evaluation

Published: 1981

Winds quarterly

Published: 1980

World futures

Author: MetaPress (Online service)
Published: 1981

Cataloging & classification quarterly

Published: 1980

North American human rights directory

Author: Human Rights Internet.
Published: 1980