Introduction to engineered software Gillett Will D; Pollack Seymour V

By:

Contributor(s):

Material type: Text

TextLanguage: English Series: HRW series in computer sciencePublication details: New York Rinehart and Winston 1982Description: x, 322p. cmSubject(s):

DDC 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	Home library	Call number	Status	Barcode
Textual	Central Science Library	Central Science Library	D65,8(B)92 M2 (Browse shelf(Opens below))	Available	SL0839556

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 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 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	D65,8(B)92 M2 Axiomatising logic of computer programming	D65,8(B)92 M2 Introduction to the PL/CV 2 programming logic	D65,8(B)92 M2 Formal specification and software development	D65,8(B)92 M2 Introduction to engineered software	D65,8(B)92 M2 Quality assurance for computer software	D65,8(B)92 M2 Verifying concurrent processes using temperal logic	D65,8(B)92 M2 Thoth system: Multi-process structuring and portability	Next

There are no comments on this title.

to post a comment.