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

Browsing MC Athens Campus 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		Next
Previous	005.1 JAC Object-Oriented Software Engineering / A Use Case Driven Approach Revised Fourth Printing	005.1 KNU V.2 The Art of Computer Programming / Volume 2/ Seminumerical Algorithms Second edition	005.1 KNU V.3 The Art of Computer Programming / Volume 3/ Sorting and Searching	005.1 LAT The Programming Process / An Introduction Using Vdm and Pascal	005.1 MAN Advances in Object-Oriented Software Engineering	005.1 MCF Χρήση και Εφαρμογές του Excel 5 / Μετάφραση της 1ης Αμερικανικής Έκδοσης 1994	005.1 MCV Excel 5 για Windows Βημα Προς Βημα / 1η Αμερικάνικη Έκδοση, 1993	Next

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.

Back to results

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

The Programming Process / An Introduction Using Vdm and Pascal

Browsing MC Athens Campus Library shelves Close shelf browser (Hides shelf browser)