Formal specification techniques for engineering modular C programs by Tan Yang Meng ; foreword by John Guttag

By:

Publication details: Dordrecht ; Boston Kluwer Academic Publishers c1996Description: xvi, 213 p. : ill. ; 25 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	005.133C TAN (Browse shelf(Opens below))	Available		210848

Previous	No cover image available	No cover image available						Next
Previous	005.133C++ SWA Visual C++ MFC programming by example	005.133C# TAG C♯ complete	005.133C TAN C programming for engineering and computer science	005.133C TAN Formal specification techniques for engineering modular C programs	005.133C# TEL C# 2005 programming: covers .net 3. 0 and 2. 0, black book	005.133C++ TEM Microsoft visual C++.NET step by step : version 2003	005.133C TUR Introduction to computer and programming with C	Next

Includes bibliographical references (p. [205]-208) and index

There are no comments on this title.

to post a comment.

Find us on the map