Image from Google Jackets

Normal view MARC view ISBD view

Formal specification and software development

By:

Bjorner, Diner

Contributor(s):

Jones, Cliff B

Series: Printice-Hall International series in computer sciencePublication details: New Jersy Prentice-hall international 1982Description: x,501pISBN:

0133290034

Subject(s):

Microprogramming Computer science Computer system

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

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	University Library	004.414.38 BJO (Browse shelf(Opens below))	Available		00033853

Browsing University Library shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	004.414.28 ALA Specification of software systems	004.414.3 LAU Software requirements: styles and techniques	004.414.38 AND Software requirements,specification and testing	004.414.38 BJO Formal specification and software development	004.414.38 JIN/E Environment modeling-based requirements engineering for software intensive systems	004.414.38 KAS Generating software from specifications	004.415 INT Introduction to component-based software development	Next

There are no comments on this title.

to post a comment.

University Library, CUSAT