Image from Google Jackets

Image from OpenLibrary

Normal view MARC view ISBD view

Formal specification and software development Bjorner Dines; Jones Cliff B

By:

Bjorner Dines

Contributor(s):

Jones Cliff B

Material type: Text

Text

TextLanguage: English Series: Prentice hall international series in computer sciencePublication details: New Jersey Prentice Hall 1982Description: x, 501p. cmSubject(s):

DDC classification:

D65,8(B)92, M2

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	SL0954722

Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)

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 Functional programming and its applications	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	Next

Includes bibliography

There are no comments on this title.

to post a comment.