Normal view MARC view ISBD view

An introduction to formal program verification Ali Mili

By:

Material type: Text

TextPublication details: New York Van Nonstrand Reinhold Company Limited 1985Description: 291 p. 24 cmISBN:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Book	MOSTI Library Open shelf	Open Collection	1.642 MIL (Browse shelf(Opens below))	Available		003133

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	1.64 ZHO Transparent computing:	1.642 KUR Operating systems principles	1.642 MAN The X window system	1.642 MIL An introduction to formal program verification	1.642 STA Programming in BASIC	1.642 ULT ULTRIX software source book	1.6424 CAR Learn computer programming with the commodore VIC-20/	Next

There are no comments on this title.

to post a comment.