INTRODUCTION TO FORMAL SPECIFICATION AND Z

By:

Material type:

TextPublication details: PEARSON; 1996Edition: 2Description: 434; PaperISBN:

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	Call number	Status	Notes	Barcode
Books	Central Library - SSNCE	005.1 POT (Browse shelf(Opens below))	Available	CSE-SASE	28061

Total holds: 0

Browsing Central Library - SSNCE shelves Close shelf browser (Hides shelf browser)

Previous	No cover image available	No cover image available	No cover image available					Next
Previous	005.1 PIN PROJECT MANAGEMENT : ACHIEVING COMPETITIVE ADVANTAGE	005.1 PIN PROJECT MANAGEMENT : ACHIEVING COMPETITIVE ADVANTAGE	005.1 POHL REQUIREMENTS ENGINEERING: FUNDAMENTALS PRINCIPLES AND TECHNIQUES	005.1 POT INTRODUCTION TO FORMAL SPECIFICATION AND Z	005.1 POU ADAPTIVE FILTERING PRIMER WITH MATLAB	005.1 POU MEASURING SOFTWARE REUSE: PRINCIPLES PRACTICES AND ECONOMIC MODELS	005.1 PRA GETTING STARTED WITH MATLAB	Next

There are no comments on this title.

to post a comment.