The Programming Process / An Introduction Using Vdm and Pascal

Contributor(s):

Material type:

TextPublication details: Addison-Wesley Publishing Company, 1990Description: 542ISBN:

201416611

Summary: This book explains the process of software development, featuring formal specifications, at the introductory level. Preface, Introduction, Find the Average of Some Numbers, What is the Maximum Salary, Match - Snatch - A Variation on Nim, Telegraph Analysis, Time-Date Display Program, Interchangeable Parts System, Key Word in Context, Dynamic Data Types of KWIC, String Search - A Simple Software Tool, Specification of the String Package, Birds and Bees, Implementation of the Strings Package, Birds and Bees, Implementation of the Strings Package, Bibliography, Index.

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	Copy number	Status	Barcode
Books	MC Athens Campus Library	005.1 LAT (Browse shelf(Opens below))	1	Available	9780000034892

This book explains the process of software development, featuring formal specifications, at the introductory level. Preface, Introduction, Find the Average of Some Numbers, What is the Maximum Salary, Match - Snatch - A Variation on Nim, Telegraph Analysis, Time-Date Display Program, Interchangeable Parts System, Key Word in Context, Dynamic Data Types of KWIC, String Search - A Simple Software Tool, Specification of the String Package, Birds and Bees, Implementation of the Strings Package, Birds and Bees, Implementation of the Strings Package, Bibliography, Index.

There are no comments on this title.

to post a comment.

Κατάλογος Βιβλιοθηκών Mediterranean College

The Programming Process / An Introduction Using Vdm and Pascal