Formal methods of program verification and specification H. K Berg and etal

By:

Material type:

TextPublication details: New Jersey Prentice-Hall 1982Description: xiv, 207p.:ill. HbkISBN:

LOC classification:

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	Call number	Status	Barcode
Books	Main LIbrary	QA76.6.F65 1982 (Browse shelf(Opens below))	Available	2026-1621

Browsing Main LIbrary shelves Close shelf browser (Hides shelf browser)

Previous	No cover image available No cover image available							Next
Previous	QA 76.6 .C6 2009 Introduction to Algorithms	QA 76 .6 .C8 Computer aided engineering	QA 76.6 D4 2012 Internet and world wide web; how to program/	QA76.6.F65 1982 Formal methods of program verification and specification	QA 76.6.G68 1982 Introduction to computer science a structural approach	QA76.6. G78 1973 Computing with minicomputers /	QA76.6.H2 1993 Microprocessors and interfacing programming and hardware: 68000 version. /	Next

There are no comments on this title.

to post a comment.

Back to results